ANY NONE
class interface MENU

creation
   make

feature(s) from MENU
   open (x, y: INTEGER)

   add_text_entry (text: UNICODE_STRING; action: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]])
      require
         text /= Void;
         action /= Void

   add_entry (w: WIDGET; action: PROCEDURE[ANY,TUPLE[INTEGER, INTEGER]])
      require
         w /= Void

   add_sub_menu_enty (w: WIDGET; menu: MENU)

   add_space


invariant

    actions.count = elements.count;

end of MENU