class LOOP_ITEM

Features exported to LOOP_STACK

One loop level with related jobs to run

Direct parents

non-conformant parents

ANY, PLATFORM

Summary

creation features

exported features

Details

make

ensure

  • pause
  • not break

job_list: FAST_ARRAY [E_][JOB]
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