Automatic generation produced by ISE Eiffel
deferred class RT_DBG_COMMON Ancestors RT_EXTENSION_COMMON* Descendants RT_DBG_CALL_RECORD RT_DBG_EXECUTION_RECORDER RT_DBG_VALUE_RECORD* Clients RT_DBG_COMMON* Suppliers ARRAYED_LIST [G] BOOLEAN RT_DBG_CALL_RECORD RT_DBG_COMMON* -- Generated by ISE Eiffel --
For more details: www.eiffel.com