Class TimedScheduler
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.api.Scheduler
-
- org.eclipse.viatra.transformation.evm.specific.scheduler.TimedScheduler
-
public class TimedScheduler extends Scheduler
A timed scheduler is similar to theUpdateCompleteBasedScheduler
but it schedules in a periodic manner. One must define the interval between two consecutive scheduling calls.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
TimedScheduler.TimedSchedulerFactory
Scheduler factory implementation for preparing timed schedulers.-
Nested classes/interfaces inherited from class org.eclipse.viatra.transformation.evm.api.Scheduler
Scheduler.ISchedulerFactory
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
TimedScheduler(ScheduledExecution execution, long interval)
Creates a timed scheduler for the given Scheduled execution and interval.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
dispose()
Disposes of the scheduler by disposing its executor.-
Methods inherited from class org.eclipse.viatra.transformation.evm.api.Scheduler
getExecution, schedule
-
-
-
-
Constructor Detail
-
TimedScheduler
protected TimedScheduler(ScheduledExecution execution, long interval)
Creates a timed scheduler for the given Scheduled execution and interval.- Parameters:
execution
-interval
-
-
-