home
wiki
classes/clusters list
class information
+
Point of view
WHEN_LEFT_CLICKED
ANY
WHEN_LEFT_CLICKED
LOOP_ITEM
JOB
INTERNALS_HANDLER
All features
class REPEAT_JOB
Summary
top
Direct parents
inherit list:
GRAPHIC
,
PERIODIC_JOB
Class invariant
top
period > 0
Overview
top
creation features
make
exported features
start
(target:
WHEN_LEFT_CLICKED
)
stop
period
:
REAL_64
unit is seconds
next_time
:
MICROSECOND_TIME
start
(target:
WHEN_LEFT_CLICKED
)
effective procedure
top
require
target /= Void
stop
effective procedure
top
period
:
REAL_64
writable attribute
top
unit is seconds
next_time
:
MICROSECOND_TIME
writable attribute
top