mirror of
https://github.com/openjdk/jdk.git
synced 2026-08-03 22:55:40 +00:00
Small refactoring to utilize new method Options.isExplicitlyDisabled().
This commit is contained in:
parent
2c4d228023
commit
16debaa4c3
@ -171,7 +171,7 @@ public class Log extends AbstractLog {
|
||||
lint.isEnabled(category) : // then emit if the category is enabled
|
||||
category.annotationSuppression ? // else emit if the category is not suppressed, where
|
||||
!lint.isSuppressed(category) : // ...suppression happens via @SuppressWarnings
|
||||
!options.isSet(XLINT_CUSTOM, "-" + category.option); // ...suppression happens via -Xlint:-category
|
||||
!options.isExplicitlyDisabled(Option.XLINT, category); // ...suppression happens via -Xlint:-category
|
||||
if (!emit)
|
||||
return;
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user