//
// Record Args
//
stateblock RecordArgs augments RSystem {
addstate RSystem.commandArgs: String[];
precode initialize (args: String[]) {
util.Assert.assert (commandArgs == null);
commandArgs = new String [args.length];
for (int i = 0; i < args.length; i++) {
commandArgs[i] = args[i];
}
// debugMessage ("Initialize args: " + commandArgs.length);
}
helper commandArgsContains (s: String) returns boolean {
//
// This should be more precisely defined depending on what
// "Contains" means.
//
for (int i = 0; i < commandArgs.length; i++) {
if (commandArgs[i].equals (s)) {
return true;
}
}
return false;
}
}
Naccio Home Page
University of Virginia, Computer Science