deferred class PERIODIC_JOB

Features exported to ANY

Pseudo periodic job. The timing is not exact : the time between two execution may be longer than the given period depending on time needed to execute ready tasks. There is no try to recover the time lost each time.

Direct parents

conformant parents

JOB

Known children

conformant children

REPEAT_JOB, SIMPLE_PERIODIC_JOB, TEXT_CURSOR_JOB

Summary

exported features

Details

period: REAL

unit is seconds

next_time: MICROSECOND_TIME

Class invariant