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