Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class WEL_COMMAND General cluster: wel description: "General notion of command. To write an actual command inherit from this class and implement the execute feature." Ancestors ANY Queries message_information: detachable WEL_MESSAGE_INFORMATION Commands execute (argument: detachable ANY) set_message_information (mi: detachable WEL_MESSAGE_INFORMATION)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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