class SIMPLE_PERIODIC_JOB
Summary
Class invariant
Overview
creation features
exported features
set_work (t: FUNCTION[TUPLE, BOOLEAN], tr: PROCEDURE[TUPLE], prio: INTEGER_32, seconds: REAL_64)
effective procedure
t has to return True while continue
period: REAL_64
writable attribute
unit is seconds
next_time: MICROSECOND_TIME
writable attribute