equal
deleted
inserted
replaced
98 complexInference = options.get("-complexinference") != null; |
98 complexInference = options.get("-complexinference") != null; |
99 skipAnnotations = options.get("skipAnnotations") != null; |
99 skipAnnotations = options.get("skipAnnotations") != null; |
100 |
100 |
101 boolean verboseDeprecated = lint.isEnabled(LintCategory.DEPRECATION); |
101 boolean verboseDeprecated = lint.isEnabled(LintCategory.DEPRECATION); |
102 boolean verboseUnchecked = lint.isEnabled(LintCategory.UNCHECKED); |
102 boolean verboseUnchecked = lint.isEnabled(LintCategory.UNCHECKED); |
103 |
103 boolean enforceMandatoryWarnings = source.enforceMandatoryWarnings(); |
104 deprecationHandler = new MandatoryWarningHandler(log,verboseDeprecated, "deprecated"); |
104 |
105 uncheckedHandler = new MandatoryWarningHandler(log, verboseUnchecked, "unchecked"); |
105 deprecationHandler = new MandatoryWarningHandler(log, verboseDeprecated, |
|
106 enforceMandatoryWarnings, "deprecated"); |
|
107 uncheckedHandler = new MandatoryWarningHandler(log, verboseUnchecked, |
|
108 enforceMandatoryWarnings, "unchecked"); |
106 } |
109 } |
107 |
110 |
108 /** Switch: generics enabled? |
111 /** Switch: generics enabled? |
109 */ |
112 */ |
110 boolean allowGenerics; |
113 boolean allowGenerics; |