Lines Matching refs:options
188 OptionInfo[] options;
192 options = new OptionInfo[] {
198 options = new OptionInfo[] {
205 options = new OptionInfo[] {
212 options = new OptionInfo[optionStrings.length];
213 for (int i = 0; i < options.length; i++) {
214 options[i] = new OptionInfo(optionStrings[i], i);
233 for (int i = 0; i < options.length; i++) {
235 // defaultOption is an index into the options array
237 i + ". " + options[i].name +
242 i + ". " + options[i].name +
243 (options[i].value == defaultOption ? " [default]" : ""));
251 if (result < 0 || result > (options.length - 1)) {
254 result = options[result].value;