Package org.mpi_sws.jmc.strategies

Interface TrackActiveTasksStrategy.Tracker

All Known Implementing Classes:
TrackActiveTasksStrategy.TrackLocks, TrackActiveTasksStrategy.TrackTasks
Enclosing class:
TrackActiveTasksStrategy
public static interface TrackActiveTasksStrategy.Tracker
Tracks the active tasks based on events.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    reset()
    Resets the tracker.
    Set<Long>
    updateEvent(JmcRuntimeEvent event)
    Updates the event.

  • Method Details

    • updateEvent

      Set<Long> updateEvent(JmcRuntimeEvent event)
      Updates the event.
      Parameters:
      event - the event to update
      Returns:
      the set of active tasks

    • reset

      void reset()
      Resets the tracker.