class REPEAT_JOB

Features exported to JOB

Direct parents

conformant parents

GRAPHIC, PERIODIC_JOB

Summary

creation features

exported features

Details

period: REAL

unit is seconds

next_time: MICROSECOND_TIME
priority: INTEGER

Never change priority after job inserted in loop_item. Priority should only be set at creation time.

Class invariant