Automatic generation produced by ISE Eiffel
deferred class FILE Ancestors IO_MEDIUM* NATIVE_STRING_HANDLER SEQUENCE* [G] UNBOUNDED* [G] Descendants PLAIN_TEXT_FILE RAW_FILE Clients FILE* Suppliers BOOLEAN CHARACTER_8 C_STRING FILE* FILE_INFO INTEGER_32 MANAGED_POINTER MISMATCH_CORRECTOR MISMATCH_INFORMATION PATH PLATFORM POINTER READABLE_STRING_GENERAL* STRING_8 TYPED_POINTER [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com