Automatic generation produced by ISE Eiffel
class RT_DEBUGGER General cluster: debug description: "Set of features to access ISE debugger functionality from debuggee. Note: do not try to evaluate the following feature in watch tool!" Ancestors ANY Queries rt_workbench_wait_for_debugger (a_port_number: INTEGER_32): BOOLEAN -- Generated by ISE Eiffel --
For more details: www.eiffel.com