deferred class DEBUG_OUTPUT General cluster: elks description: "Objects that provide an output in debugger" Ancestors ANY Queries debug_output: READABLE_STRING_GENERAL
Generated by ISE EiffelStudio