MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-164295 Please fix com.jetbrains.jsonSchema.impl.JsonSchemaResourcesRootsProvider#getAdditionalRootsToIndex().

Browse Source
This commit is contained in:
irengrig
2016-11-25 17:33:22 +01:00
parent b26470ac28
commit 092d3c7fa6
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
json/src/com/jetbrains/jsonSchema/impl/JsonSchemaResourcesRootsProvider.java
+6 -1
View File
@@ -15,6 +15,7 @@
*/
package com.jetbrains.jsonSchema.impl;
import com.intellij.openapi.diagnostic.Logger;
import com.intellij.openapi.extensions.Extensions;
import com.intellij.openapi.module.Module;
import com.intellij.openapi.project.Project;
@@ -36,6 +37,8 @@ import java.util.Set;
* @author Irina.Chernushina on 4/14/2016.
*/
public class JsonSchemaResourcesRootsProvider extends IndexableSetContributor {
private static final Logger LOG = Logger.getInstance("#com.jetbrains.jsonSchema.impl.JsonSchemaResourcesRootsProvider");
public static final NotNullLazyValue<Set<VirtualFile>> ourFiles = new AtomicNotNullLazyValue<Set<VirtualFile>>() {
@NotNull
@Override
@@ -46,7 +49,9 @@ public class JsonSchemaResourcesRootsProvider extends IndexableSetContributor {
final List<JsonSchemaFileProvider> providers = extension.getProviders(null);
for (JsonSchemaFileProvider provider : providers) {
if (!SchemaType.userSchema.equals(provider.getSchemaType())) {
set.add(provider.getSchemaFile());
final VirtualFile schemaFile = provider.getSchemaFile();
if (schemaFile == null) LOG.info("Can not find resource file for json schema provider: " + provider.getName());
else set.add(schemaFile);
}
}
}