Class TimedScheduler.TimedSchedulerFactory
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.specific.scheduler.TimedScheduler.TimedSchedulerFactory
-
- All Implemented Interfaces:
Scheduler.ISchedulerFactory
- Enclosing class:
- TimedScheduler
public static class TimedScheduler.TimedSchedulerFactory extends java.lang.Object implements Scheduler.ISchedulerFactory
Scheduler factory implementation for preparing timed schedulers.
-
-
Constructor Summary
Constructors Constructor Description TimedSchedulerFactory(long interval)
Creates a scheduler factory with the given interval.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description long
getInterval()
Scheduler
prepareScheduler(ScheduledExecution execution)
Creates a scheduler for the given executor.void
setInterval(long interval)
-
-
-
Method Detail
-
setInterval
public void setInterval(long interval)
- Parameters:
interval
- the interval to set
-
getInterval
public long getInterval()
- Returns:
- the interval
-
prepareScheduler
public Scheduler prepareScheduler(ScheduledExecution execution)
Description copied from interface:Scheduler.ISchedulerFactory
Creates a scheduler for the given executor.- Specified by:
prepareScheduler
in interfaceScheduler.ISchedulerFactory
-
-