class APPLICATION inherit SHARED_CONTROL; STATES; WINDOWS creation make feature make is do control.put (BASIC, Exit_from_application, "quit"); control.put (BASIC, Editing, "modify"); control.put (BASIC, Viewing, "view"); control.put (Editing, BASIC, "save"); control.put (Editing, Exit_from_application, "quit"); control.put (Editing, Viewing, "view"); control.put (Viewing, Exit_from_application, "quit"); control.put (Viewing, Return_to_previous, "back"); control.set_initial_state (BASIC); init_windowing end end