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