Automatic generation produced by ISE Eiffel
class RT_DBG_EXECUTION_PARAMETERS Ancestors ANY Clients RT_DBG_EXECUTION_PARAMETERS RT_DBG_EXECUTION_RECORDER RT_EXTENSION Suppliers RT_DBG_EXECUTION_PARAMETERS -- Generated by ISE Eiffel --
For more details: www.eiffel.com