class interface REPEAT_JOB
creation
make
feature(s) from COLOR_LIST
white_color: COLOR
black_color: COLOR
dim_grey_color: COLOR
dark_grey_color: COLOR
grey_color: COLOR
light_grey_color: COLOR
dark_blue_color: COLOR
medium_blue_color: COLOR
blue_color: COLOR
royal_blue_color: COLOR
deep_sky_blue_color: COLOR
sky_blue_color: COLOR
light_sky_blue_color: COLOR
steel_blue_color: COLOR
light_steel_blue_color: COLOR
light_blue_color: COLOR
pale_turquoise_color: COLOR
dark_turquoise_color: COLOR
medium_turquoise_color: COLOR
turquoise_color: COLOR
dark_cyan_color: COLOR
cyan_color: COLOR
light_cyan_color: COLOR
dark_green_color: COLOR
green_color: COLOR
light_green_color: COLOR
yellow_green_color: COLOR
dark_khaki_color: COLOR
khaki_color: COLOR
yellow_color: COLOR
light_yellow_color: COLOR
gold_color: COLOR
beige_color: COLOR
chocolate_color: COLOR
firebrick_color: COLOR
brown_color: COLOR
dark_salmon_color: COLOR
salmon_color: COLOR
light_salmon_color: COLOR
dark_orange_color: COLOR
orange_color: COLOR
orange_red_color: COLOR
dark_red_color: COLOR
red_color: COLOR
hot_pink_color: COLOR
deep_pink_color: COLOR
pink_color: COLOR
light_pink_color: COLOR
pale_violet_red_color: COLOR
maroon_color: COLOR
medium_violet_red_color: COLOR
violet_red_color: COLOR
violet_color: COLOR
dark_magenta_color: COLOR
magenta_color: COLOR
dark_violet_color: COLOR
blue_violet_color: COLOR
medium_purple_color: COLOR
purple_color: COLOR
feature(s) from STATE_CONSTANTS
state_normal: INTEGER
state_active: INTEGER
state_prelight: INTEGER
state_selected: INTEGER
state_insensitive: INTEGER
feature(s) from ALIGNMENT_CONSTANTS
center_alignment: ALIGNMENT
left_alignment: ALIGNMENT
right_alignment: ALIGNMENT
top_alignment: ALIGNMENT
down_alignment: ALIGNMENT
top_left_alignment: ALIGNMENT
top_right_alignment: ALIGNMENT
down_right_alignment: ALIGNMENT
down_left_alignment: ALIGNMENT
feature(s) from GRAPHIC
vision: VISION
font_manager: FONT_MANAGER
default_font: BASIC_FONT
feature(s) from JOB
priority: INTEGER
-- Never change priority after job inserted in loop_item.
-- Priority should only be set at creation time.
feature(s) from JOB
prepare (ready: READY_DESCRIPTION)
-- use ready to descibe condition that make this job ready
-- to continue.
require
ready /= Void;
not ready.queryable
is_ready (ready: READY_DESCRIPTION): BOOLEAN
-- check if this job is ready to continue his work
require
ready /= Void;
ready.queryable
continue
-- Continue to do the job
-- The work to do has to be small work and non blocking, it
-- will continue on next call
done: BOOLEAN
-- done returns True when the job is finished. Then the
-- job may be restart(ed) if it need to run again.
restart
-- 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
infix "<" (other: JOB): BOOLEAN
feature(s) from PERIODIC_JOB
period: DOUBLE
-- unit is seconds
next_time: MICROSECOND_TIME
feature(s) from REPEAT_JOB
make
feature(s) from REPEAT_JOB
start (target: WHEN_LEFT_CLICKED)
require
target /= Void
stop
feature(s) from REPEAT_JOB
clickable: WHEN_LEFT_CLICKED
invariant
period > 0;
priority /= Minimum_integer;
end of REPEAT_JOB