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