Automatic generation produced by ISE Eiffel
deferred class DEBUG_OUTPUT Ancestors ANY Descendants ABSTRACT_SPECIAL* DATE DATE_TIME DATE_TIME_CODE EV_ACCELERATOR EV_COORDINATE EV_IDENTIFIABLE* EV_MODEL_LINE EV_RECTANGLE NUMERIC* PATH RT_DBG_CALL_RECORD RT_DBG_VALUE_RECORD* SD_CONTENT SD_STATE* SD_TOOL_BAR TIME TYPE [G] UC_STRING UUID XML_FILE_INPUT_STREAM XML_NAMESPACE XML_NODE* XML_POSITION XML_STRING_INPUT_STREAM -- Generated by Eiffel Studio --
For more details: eiffel.org