/** @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();
}