Automatic generation produced by ISE Eiffel
class EQA_ASSERTIONS Ancestors ANY Descendants EQA_COMMONLY_USED_ASSERTIONS Clients EQA_ASSERTIONS EQA_ENVIRONMENT EQA_FILE_SYSTEM EQA_TEST_SET* Suppliers BOOLEAN DEVELOPER_EXCEPTION EQA_ASSERTIONS -- Generated by Eiffel Studio --
For more details: eiffel.org