Evaluation - Autonomics Development: A Domain-Specific Aspect Language Approach - page 107

import java.rmi.∗;
import jshell.∗;
import jshell.commandline.∗;
import jshell.command.∗;

service JShell {

recovery RMIError (RemoteException e) {
System.out.println( "Got a RMI exception: " + e.getMessage());
System.out.println( "Method: " + transfer.getMethod());
System.out.println( "Host: " + transfer.getCurrentHost());
System.out.println( "Terminating application \ldots{}" );
System.exit(1);

}

protocol :rmi{
options {
registryName = "RMIJShellServer" ;
registryHost = "localhost" ;
registryPort = 1099;
runEmbeddedRegistry = true;

}

pointcut String JShell.process_command_line(String) {
recovery = RMIError;

}

pointcut void ls.execute(String[]) {}
pointcut void ls.usage() {}
pointcut void ls.process_environment() {}
pointcut void ls.process_args(String[]) {}
pointcut void ls.process_flag(String) {}
pointcut void ls.add_files_in_current_directory() {}
pointcut Vector ls.files() {}
pointcut void ls.add_files_in_directory
(File, Queue) {}
pointcut void ls.sort_files(File[]) {}
pointcut void ls.print_files(File[]) {}
pointcut void ls.print_brief(File) {}
pointcut void ls.print_detailed(File) {}
pointcut void ls.print_remainder() {}
pointcut void ls.pad(StringBuffer, int) {}

}

}

Figure 6.12. Finer-grained JShell RMI protocol DDL file.