equal
deleted
inserted
replaced
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 |