org.eclipse.incquery.runtime.evm.specific.scheduler

Class TimedScheduler

java.lang.Object

org.eclipse.incquery.runtime.evm.api.Scheduler

org.eclipse.incquery.runtime.evm.specific.scheduler.TimedScheduler

public class TimedScheduler
extends Scheduler

A timed scheduler is similar to the UpdateCompleteBasedScheduler but it schedules in a periodic manner. One must define the interval between two consecutive scheduling calls.

Author:

Tamas Szabo

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TimedScheduler.TimedSchedulerFactory Scheduler factory implementation for preparing timed schedulers.

Nested classes/interfaces inherited from class org.eclipse.incquery.runtime.evm.api.Scheduler

Scheduler.ISchedulerFactory

Method Summary

Modifier and Type	Method and Description
void	dispose() Disposes of the scheduler by disposing its executor.

Methods inherited from class org.eclipse.incquery.runtime.evm.api.Scheduler

getExecutor

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

dispose

public void dispose()

Description copied from class: Scheduler

Disposes of the scheduler by disposing its executor.

Overrides:

dispose in class Scheduler