Lines Matching refs:options
134 Options options = Options.instance(context);
135 this.dumpOnError = options.isSet(DOE);
136 this.promptOnError = options.isSet(PROMPT);
137 this.emitWarnings = options.isUnset(XLINT_CUSTOM, "none");
138 this.suppressNotes = options.isSet("suppressNotes");
139 this.MaxErrors = getIntOption(options, XMAXERRS, getDefaultMaxErrors());
140 this.MaxWarnings = getIntOption(options, XMAXWARNS, getDefaultMaxWarnings());
142 boolean rawDiagnostics = options.isSet("rawDiagnostics");
144 this.diagFormatter = rawDiagnostics ? new RawDiagnosticFormatter(options) :
145 new BasicDiagnosticFormatter(options, messages);
151 String ek = options.get("expectKeys");
156 private int getIntOption(Options options, OptionName optionName, int defaultValue) {
157 String s = options.get(optionName);
379 * The diagnostic is counted, and depending on the options and how many diagnostics have been