Lines Matching refs:options
174 OptionInfo[] options;
178 options = new OptionInfo[] {
184 options = new OptionInfo[] {
191 options = new OptionInfo[] {
198 options = new OptionInfo[optionStrings.length];
199 for (int i = 0; i < options.length; i++) {
200 options[i] = new OptionInfo(optionStrings[i], i);
219 for (int i = 0; i < options.length; i++) {
221 // defaultOption is an index into the options array
223 i + ". " + options[i].name +
228 i + ". " + options[i].name +
229 (options[i].value == defaultOption ? " [default]" : ""));
237 if (result < 0 || result > (options.length - 1)) {
240 result = options[result].value;