    class
    	DATE_TIME_VALIDITY_CHECKER

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

    Ancestors
    	ANY
    	DATE_VALIDITY_CHECKER
    	TIME_VALIDITY_CHECKER

    Queries
    	date_time_valid (s, code_string: STRING_8): BOOLEAN
    	date_time_valid_with_base (s, code_string: STRING_8; base: INTEGER_32): BOOLEAN
    	is_correct_date_time (y, mo, d, h, mi: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN