Automatic generation produced by ISE Eiffel
class EQA_SYSTEM_PATH Ancestors ANY Clients EQA_EXECUTION EQA_FILE_SYSTEM EQA_SYSTEM_PATH EQA_SYSTEM_TEST_SET* Suppliers ARRAYED_LIST [G] BOOLEAN EQA_SYSTEM_PATH FINITE* [G] INTEGER_32 LINEAR* [G] PATH READABLE_STRING_GENERAL* -- Generated by Eiffel Studio --
For more details: eiffel.org