Automatic generation produced by ISE Eiffel
class DATE_VALUE Ancestors DATE_MEASUREMENT* MISMATCH_CORRECTOR Descendants DATE DATE_VALIDITY_CHECKER Clients DATE_VALUE Suppliers DATE_VALUE INTEGER_32 INTEGER_32_REF MISMATCH_INFORMATION -- Generated by Eiffel Studio --
For more details: eiffel.org