ANY | LOOP_ITEM | NONE | WHEN_LEFT_CLICKED |
class interface REPEAT_JOB creation make feature(s) from PERIODIC_JOB period: DOUBLE -- unit is seconds next_time: MICROSECOND_TIME feature(s) from REPEAT_JOB start (target: WHEN_LEFT_CLICKED) require target /= Void stop invariant period > 0; priority /= Minimum_integer; end of REPEAT_JOB