+
Point of view
All features
class REPEAT_JOB
- period > 0
- priority /= Minimum_integer
deep_sky_blue_color:
COLOR
once function
light_sky_blue_color:
COLOR
once function
light_steel_blue_color:
COLOR
once function
pale_turquoise_color:
COLOR
once function
dark_turquoise_color:
COLOR
once function
medium_turquoise_color:
COLOR
once function
yellow_green_color:
COLOR
once function
light_yellow_color:
COLOR
once function
light_salmon_color:
COLOR
once function
pale_violet_red_color:
COLOR
once function
medium_violet_red_color:
COLOR
once function
dark_magenta_color:
COLOR
once function
medium_purple_color:
COLOR
once function
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