class COMMAND2 inherit BUILD_NON_UNDOABLE_CMD creation make feature -- Initialization make is do end feature -- Access quit_label: STRING is "quit" feature -- Command execute is do set_transition_label (quit_label) end end