Automatic generation produced by ISE Eiffel
deferred class RT_EXTENSION_COMMON Ancestors ANY Descendants RT_DBG_COMMON* RT_EXTENSION_GENERAL* Clients RT_EXTENSION_COMMON* Suppliers INTEGER_32 PLAIN_TEXT_FILE RT_EXTENSION_COMMON* STD_FILES STRING_8 -- Generated by ISE Eiffel --
For more details: www.eiffel.com