/*
   Actors with this behavior simply bind to the specified UAN and first UAL
   and then migrate to the third UAL.
*/
behavior Migrate {

   void print() {

      standardOutput<-println( "Migrate actor just migrated here." );
   }

   void act( String[] args ) {

      if (args.length != 3) {
         standardOutput<-println( "Usage: java Migrate <UAN> <UAL> <UAL>" );

         return;
      }

      bind( args[0], args[1] ) @
         print() @
         migrate( args[2] ) @
         print();

   }

};