deferred class JOB

Features exported to JOB

The job life will looks like :

  do
     prepare
     if is_ready then
        continue
  repeat while not done
If the same job as to live again, restart is called.

Note: never change priority after job inserted in loop_item.

      Priority should only be set at creation time.

Direct parents

non-conformant parents

ANY, PLATFORM

Known children

conformant children

BACKGROUND_JOB, CONNECTION, EVENT_CATCHER, PERIODIC_JOB, SOCKET_SERVER_JOB

Summary

exported features

Details

priority: INTEGER

Never change priority after job inserted in loop_item. Priority should only be set at creation time.

Class invariant