/** @param receiver */ public static void menuFor(SessionManager receiver) { Menu menu = new Menu( MenuEntry.TITLE, new Command<?>[] { new CreateUser(receiver), new ListAllUsers(receiver), }); menu.open(); }
/** FIXME: commands may have one or more receivers */ public static void menuFor(TableManager TM) { Menu menu = new Menu( MenuEntry.TITLE, new Command<?>[] { new ShowValues(TM), new ShowFunctions(TM), }); menu.open(); }