module addressbook; behavior AddUser { void act(String args[]) { if (args.length != 3 ) { standardOutput<-println( "Usage: salsa addressbook.AddUser " ); return; } AddressBook book = (AddressBook)AddressBook.getReferenceByName( new UAN(args[0]) ); book<-addUser(args[1], args[2]); } }