src/share/classes/com/sun/tools/javac/code/Lint.java

changeset 11
b66d15dfd001
parent 1
9a66ca7c79fa
child 54
eaf608c64fec
equal deleted inserted replaced
10:508c01999047 11:b66d15dfd001
192 192
193 static LintCategory get(String option) { 193 static LintCategory get(String option) {
194 return map.get(option); 194 return map.get(option);
195 } 195 }
196 196
197 private final String option; 197 public final String option;
198 }; 198 };
199 199
200 /** 200 /**
201 * Checks if a warning category is enabled. A warning category may be enabled 201 * Checks if a warning category is enabled. A warning category may be enabled
202 * on the command line, or by default, and can be temporarily disabled with 202 * on the command line, or by default, and can be temporarily disabled with

mercurial