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
	wait_for_debugger (a_port_number: INTEGER_32): BOOLEAN

Generated by ISE EiffelStudio