State Maintainer: RecordArgs

//
// 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;
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science