module demo;
behavior Migrate {
void print() {
standardOutput<-println( "Migrate actor just
migrated here." );
}
void act( String[] args ) {
if (args.length != 3) {
standardOutput<-println( “Usage: java
migration.Migrate “ +
“<uan> <ual1>
<ual2>" );
return;
}
bind( args[0], args[1] ) @
print() @
migrate( args[2] ) @
print();
}
};