ANY | LOOP_STACK | NONE |
class interface LOOP_ITEM -- One loop level with related jobs to run creation make ensure pause; not break feature(s) from LOOP_ITEM job_list: FAST_ARRAY[JOB] feature(s) from LOOP_ITEM pause: BOOLEAN break: BOOLEAN run require pause and not break ensure pause or job_list.is_empty or break break_loop ensure break pause_loop require not pause ensure pause add_job (j: JOB) require j /= Void restart require not pause or break ensure pause; not break end of LOOP_ITEM