Package org.mpi_sws.jmc.strategies
Class TrackActiveTasksStrategy.TrackTasks
java.lang.Object
org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.TrackTasks
- All Implemented Interfaces:
TrackActiveTasksStrategy.Tracker
- Enclosing class:
TrackActiveTasksStrategy
public static class TrackActiveTasksStrategy.TrackTasks
extends Object
implements TrackActiveTasksStrategy.Tracker
Tracks the tasks start finish and join request events.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidreset()Resets the tracker.updateEvent(JmcRuntimeEvent event) Updates the event.
-
Constructor Details
-
TrackTasks
public TrackTasks()Constructs a new TrackTasks object.
-
-
Method Details
-
updateEvent
Description copied from interface:TrackActiveTasksStrategy.TrackerUpdates the event.- Specified by:
updateEventin interfaceTrackActiveTasksStrategy.Tracker- Parameters:
event- the event to update- Returns:
- the set of active tasks
-
reset
public void reset()Description copied from interface:TrackActiveTasksStrategy.TrackerResets the tracker.- Specified by:
resetin interfaceTrackActiveTasksStrategy.Tracker
-