+
Point of view
All features
class SPLICE_JOB
- Direct parents
- inherit list: JOB
- priority /= Minimum_integer
require
- not is_connected
- a_instream.is_connected
- a_outstream.is_connected
ensure
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