class
	TIME_VALIDITY_CHECKER

General
	cluster: time
	description: "Facility routines to check the validity of TIMEs"

Ancestors
	ANY
	TIME_CONSTANTS
	TIME_VALUE

Queries
	compact_time_valid (c_t: INTEGER_32): BOOLEAN
	is_correct_time (h, m: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN
	time_valid (s, code_string: STRING_8): BOOLEAN

Generated by ISE EiffelStudio