aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java')
-rw-r--r--subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java12
1 files changed, 9 insertions, 3 deletions
diff --git a/subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java b/subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java
index 580a87b6..c76fb7aa 100644
--- a/subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java
+++ b/subprojects/generator/src/main/java/tools/refinery/generator/ProblemLoader.java
@@ -12,7 +12,10 @@ import org.eclipse.emf.ecore.resource.Resource;
12import org.eclipse.emf.ecore.util.EcoreUtil; 12import org.eclipse.emf.ecore.util.EcoreUtil;
13import org.eclipse.xtext.diagnostics.Severity; 13import org.eclipse.xtext.diagnostics.Severity;
14import org.eclipse.xtext.naming.IQualifiedNameConverter; 14import org.eclipse.xtext.naming.IQualifiedNameConverter;
15import org.eclipse.xtext.resource.*; 15import org.eclipse.xtext.resource.FileExtensionProvider;
16import org.eclipse.xtext.resource.IEObjectDescription;
17import org.eclipse.xtext.resource.IResourceFactory;
18import org.eclipse.xtext.resource.XtextResourceSet;
16import org.eclipse.xtext.scoping.impl.GlobalResourceDescriptionProvider; 19import org.eclipse.xtext.scoping.impl.GlobalResourceDescriptionProvider;
17import org.eclipse.xtext.util.CancelIndicator; 20import org.eclipse.xtext.util.CancelIndicator;
18import org.eclipse.xtext.util.LazyStringInputStream; 21import org.eclipse.xtext.util.LazyStringInputStream;
@@ -25,7 +28,7 @@ import tools.refinery.language.model.problem.ScopeDeclaration;
25import tools.refinery.language.naming.NamingUtil; 28import tools.refinery.language.naming.NamingUtil;
26import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; 29import tools.refinery.language.resource.ProblemResourceDescriptionStrategy;
27import tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey; 30import tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey;
28import tools.refinery.language.scoping.imports.ImportAdapter; 31import tools.refinery.language.scoping.imports.ImportAdapterProvider;
29import tools.refinery.language.scoping.imports.ImportCollector; 32import tools.refinery.language.scoping.imports.ImportCollector;
30import tools.refinery.store.util.CancellationToken; 33import tools.refinery.store.util.CancellationToken;
31 34
@@ -61,6 +64,9 @@ public class ProblemLoader {
61 @Inject 64 @Inject
62 private IQualifiedNameConverter qualifiedNameConverter; 65 private IQualifiedNameConverter qualifiedNameConverter;
63 66
67 @Inject
68 private ImportAdapterProvider importAdapterProvider;
69
64 private CancellationToken cancellationToken = CancellationToken.NONE; 70 private CancellationToken cancellationToken = CancellationToken.NONE;
65 71
66 private final List<Path> extraPaths = new ArrayList<>(); 72 private final List<Path> extraPaths = new ArrayList<>();
@@ -125,7 +131,7 @@ public class ProblemLoader {
125 131
126 private XtextResourceSet createResourceSet() { 132 private XtextResourceSet createResourceSet() {
127 var resourceSet = resourceSetProvider.get(); 133 var resourceSet = resourceSetProvider.get();
128 var adapter = ImportAdapter.getOrInstall(resourceSet); 134 var adapter = importAdapterProvider.getOrInstall(resourceSet);
129 adapter.getLibraryPaths().addAll(0, extraPaths); 135 adapter.getLibraryPaths().addAll(0, extraPaths);
130 return resourceSet; 136 return resourceSet;
131 } 137 }