home
wiki
classes/clusters list
class information
+
Point of view
LOOP_ITEM
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
exported features
continue
Continue to do the job The work to do has to be small work and non blocking, it will continue on next call
restart
Configure the job like the initial state.
done
:
BOOLEAN
done
returns
True
when the job is finished.
period
:
REAL_64
unit is seconds
next_time
:
MICROSECOND_TIME
prepare
(events:
EVENTS_SET
)
use ready to descibe condition that make this job ready to continue.
is_ready
(events:
EVENTS_SET
):
BOOLEAN
check if this job is ready to continue his work
priority
:
INTEGER_32
Never change priority after job inserted in loop_item.
infix "<"
(other:
JOB
):
BOOLEAN
continue
effective procedure
top
Continue to do the job The work to do has to be small work and non blocking, it will continue on next call
require
not done
restart
effective procedure
top
Configure the job like the initial state.
Example: when some window dialog appears second time, all jobs from this window are restarted.
require
done
ensure
not done
done
:
BOOLEAN
writable attribute
top
done
returns
True
when the job is finished.
Then the job may be
restart
(ed) if it need to run again.
period
:
REAL_64
writable attribute
top
unit is seconds
next_time
:
MICROSECOND_TIME
writable attribute
top
prepare
(events:
EVENTS_SET
)
effective procedure
top
use ready to descibe condition that make this job ready to continue.
require
events /= Void
not events.queryable
not done
is_ready
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
check if this job is ready to continue his work
require
events /= Void
events.queryable
not done
priority
:
INTEGER_32
writable attribute
top
Never change priority after job inserted in loop_item.
Priority should only be set at creation time.
infix "<"
(other:
JOB
):
BOOLEAN
effective function
top