Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EV_COMMAND_HANDLER_OBSERVER

General
	cluster: ribbon
	description: "Summary description for EV_COMMAND_HANDLER_OBSERVER."

Ancestors
	ANY

Queries
	execute (a_command_id: NATURAL_32; a_execution_verb: INTEGER_32; a_property_key, a_property_value, a_command_execution_properties: POINTER): NATURAL_32
	ribbon: detachable EV_RIBBON
	update_property (a_command_id: NATURAL_32; a_property_key, a_property_current_value, a_property_new_value: POINTER): NATURAL_32



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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