Automatic generation produced by ISE Eiffel
class PLAIN_TEXT_FILE Ancestors FILE* Descendants CONSOLE Clients ES_HTML_GEN* ES_HTML_GEN_SUITE PLAIN_TEXT_FILE REFACTORING_HELPER RT_EXTENSION_COMMON* STD_FILES Suppliers BOOLEAN INTEGER_16 INTEGER_32 INTEGER_64 INTEGER_8 NATURAL_16 NATURAL_32 NATURAL_64 NATURAL_8 NUMERIC_INFORMATION PLAIN_TEXT_FILE PLATFORM SPECIAL [T] STRING_8 STRING_TO_INTEGER_CONVERTOR STRING_TO_NUMERIC_CONVERTOR* TYPED_POINTER [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com