module addressbook;


behavior GetName
{

   void act(String args[]){
      
      if (args.length != 4) {
         standardOutput<-println( "Usage: java addressbook.GetName <ClientUAN> <ClientUAL> <AddressBookUAN> <Email>" );

         return;
      }

      bind( args[0], args[1] ) @ getName(args[2], args[3]);

}

void printName(String name){
      standardOutput<-println(name);
}

void getName(String uan, String email){

      AddressBook book = new AddressBook();
      book<-getReferenceByName( uan ) @ 
      book<-getName(email) @
      printName;

  }
}