class
	DATE_VALIDITY_CHECKER

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

Ancestors
	DATE_CONSTANTS
	DATE_VALUE

Queries
	compact_date_valid (c_d: INTEGER): BOOLEAN
	date_valid (s, code_string: STRING): BOOLEAN
	date_valid_default (s: STRING): BOOLEAN
	date_valid_default_with_base (s: STRING; base: INTEGER): BOOLEAN
	date_valid_with_base (s, code_string: STRING; base: INTEGER): BOOLEAN
	is_correct_date (y, m, d: INTEGER): BOOLEAN