Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_COMMAND_EXEC General cluster: wel description: "Execute commands." create: make Ancestors ANY Queries argument: detachable ANY command: WEL_COMMAND Commands execute (window: WEL_WINDOW; message: INTEGER_32; wparam, lparam: POINTER) make (a_command: WEL_COMMAND; an_argument: detachable ANY)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org