Lines Matching refs:options
40 private String options = "";
66 String options, String args) {
68 this.options = options;
73 String options, String args,
75 this(classname, options, args);
80 // Prepends passed opts array to current options
87 options = newOpts + options;
105 * This method is used for setting VM options on spawned VMs.
106 * It returns the extra command line options required
110 return TestLibrary.getExtraProperty("jcov.options","");
140 StringTokenizer optionsTokenizer = new StringTokenizer(options);