deferred class FILE Ancestors IO_MEDIUM* NATIVE_STRING_HANDLER SEQUENCE* [G] UNBOUNDED* [G] Descendants PLAIN_TEXT_FILE RAW_FILE Clients FILE* FILE_ITERATION_CURSOR Suppliers BOOLEAN CHARACTER_8 C_STRING FILE* FILE_INFO FILE_ITERATION_CURSOR INTEGER_32 MANAGED_POINTER MISMATCH_CORRECTOR MISMATCH_INFORMATION PATH PLATFORM POINTER READABLE_STRING_8* READABLE_STRING_GENERAL* STRING_32 STRING_8 TYPED_POINTER [G]
Generated by ISE EiffelStudio