diff options
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.java | 12 |
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; | |||
12 | import org.eclipse.emf.ecore.util.EcoreUtil; | 12 | import org.eclipse.emf.ecore.util.EcoreUtil; |
13 | import org.eclipse.xtext.diagnostics.Severity; | 13 | import org.eclipse.xtext.diagnostics.Severity; |
14 | import org.eclipse.xtext.naming.IQualifiedNameConverter; | 14 | import org.eclipse.xtext.naming.IQualifiedNameConverter; |
15 | import org.eclipse.xtext.resource.*; | 15 | import org.eclipse.xtext.resource.FileExtensionProvider; |
16 | import org.eclipse.xtext.resource.IEObjectDescription; | ||
17 | import org.eclipse.xtext.resource.IResourceFactory; | ||
18 | import org.eclipse.xtext.resource.XtextResourceSet; | ||
16 | import org.eclipse.xtext.scoping.impl.GlobalResourceDescriptionProvider; | 19 | import org.eclipse.xtext.scoping.impl.GlobalResourceDescriptionProvider; |
17 | import org.eclipse.xtext.util.CancelIndicator; | 20 | import org.eclipse.xtext.util.CancelIndicator; |
18 | import org.eclipse.xtext.util.LazyStringInputStream; | 21 | import org.eclipse.xtext.util.LazyStringInputStream; |
@@ -25,7 +28,7 @@ import tools.refinery.language.model.problem.ScopeDeclaration; | |||
25 | import tools.refinery.language.naming.NamingUtil; | 28 | import tools.refinery.language.naming.NamingUtil; |
26 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; | 29 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; |
27 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey; | 30 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ShadowingKey; |
28 | import tools.refinery.language.scoping.imports.ImportAdapter; | 31 | import tools.refinery.language.scoping.imports.ImportAdapterProvider; |
29 | import tools.refinery.language.scoping.imports.ImportCollector; | 32 | import tools.refinery.language.scoping.imports.ImportCollector; |
30 | import tools.refinery.store.util.CancellationToken; | 33 | import 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 | } |