equal
deleted
inserted
replaced
3874 log.warning(LintCategory.MODULE, pos, Warnings.ModuleNotFound(msym)); |
3874 log.warning(LintCategory.MODULE, pos, Warnings.ModuleNotFound(msym)); |
3875 }); |
3875 }); |
3876 } |
3876 } |
3877 } |
3877 } |
3878 |
3878 |
|
3879 void checkPackageExistsForOpens(final DiagnosticPosition pos, PackageSymbol packge) { |
|
3880 if (packge.members().isEmpty() && |
|
3881 ((packge.flags() & Flags.HAS_RESOURCE) == 0)) { |
|
3882 deferredLintHandler.report(() -> { |
|
3883 if (lint.isEnabled(LintCategory.OPENS)) |
|
3884 log.warning(pos, Warnings.PackageEmptyOrNotFound(packge)); |
|
3885 }); |
|
3886 } |
|
3887 } |
|
3888 |
3879 } |
3889 } |