class REPEAT_JOB

Features exported to INTERNALS_HANDLER

Direct parents

conformant parents

GRAPHIC, PERIODIC_JOB

Summary

creation features

exported features

Details

period: REAL

unit is seconds

next_time: MICROSECOND_TIME

Class invariant