home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
LOOP_ITEM
JOB
INTERNALS_HANDLER
All features
class SIMPLE_PERIODIC_JOB
Summary
top
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
inherit list:
PERIODIC_JOB
Class invariant
top
period > 0
Overview
top
creation features
set_work
(t:
FUNCTION
[
TUPLE
,
BOOLEAN
], tr:
PROCEDURE
[
TUPLE
], prio:
INTEGER_32
, seconds:
REAL_64
)
t has to return True while continue
exported features
set_work
(t:
FUNCTION
[
TUPLE
,
BOOLEAN
], tr:
PROCEDURE
[
TUPLE
], prio:
INTEGER_32
, seconds:
REAL_64
)
t has to return True while continue
period
:
REAL_64
unit is seconds
next_time
:
MICROSECOND_TIME
set_work
(t:
FUNCTION
[
TUPLE
,
BOOLEAN
], tr:
PROCEDURE
[
TUPLE
], prio:
INTEGER_32
, seconds:
REAL_64
)
effective procedure
top
t has to return True while continue
require
t /= Void
seconds > 0
ensure
period
= seconds
period
:
REAL_64
writable attribute
top
unit is seconds
next_time
:
MICROSECOND_TIME
writable attribute
top