+
Point of view
All features
deferred class PERIODIC_JOB
- period > 0
- priority /= Minimum_integer
require
- events /= Void
- not events.queryable
- not done
require
- events /= Void
- events.queryable
- not done
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32