mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
don't report invalid source and javadoc paths in maven libraries (IDEA-78757) [rev by Dmitry A.]
This commit is contained in:
+7
-2
@@ -51,8 +51,13 @@ public class LibraryProjectStructureElement extends ProjectStructureElement {
|
||||
if (library == null || library.isDisposed()) return;
|
||||
|
||||
reportInvalidRoots(problemsHolder, library, OrderRootType.CLASSES, "classes", ProjectStructureProblemType.error("library-invalid-classes-path"));
|
||||
reportInvalidRoots(problemsHolder, library, OrderRootType.SOURCES, "sources", ProjectStructureProblemType.warning("library-invalid-source-javadoc-path"));
|
||||
reportInvalidRoots(problemsHolder, library, JavadocOrderRootType.getInstance(), "javadoc", ProjectStructureProblemType.warning("library-invalid-source-javadoc-path"));
|
||||
final String libraryName = library.getName();
|
||||
if (libraryName == null || !libraryName.startsWith("Maven: ")) {
|
||||
reportInvalidRoots(problemsHolder, library, OrderRootType.SOURCES, "sources",
|
||||
ProjectStructureProblemType.warning("library-invalid-source-javadoc-path"));
|
||||
reportInvalidRoots(problemsHolder, library, JavadocOrderRootType.getInstance(), "javadoc",
|
||||
ProjectStructureProblemType.warning("library-invalid-source-javadoc-path"));
|
||||
}
|
||||
}
|
||||
|
||||
private void reportInvalidRoots(ProjectStructureProblemsHolder problemsHolder, LibraryEx library,
|
||||
|
||||
Reference in New Issue
Block a user