feat(language): type inference

* Customizable operator overloads.
* Customizable aggregation operators.
* Simplify ProblemQualifiedNameProvider.

1 files changed, 4 insertions, 1 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/ImportCollector.java b/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/ImportCollector.java
index ac5a92ba..f3ab54ae 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/ImportCollector.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/scoping/imports/ImportCollector.java
@@ -46,6 +46,9 @@ public class ImportCollector {
         @Inject
         private Provider<LoadOnDemandResourceDescriptionProvider> loadOnDemandProvider;
 
+        @Inject
+        private ImportAdapterProvider importAdapterProvider;
+
         public ImportCollection getDirectImports(Resource resource) {
                 return cache.get(DIRECT_IMPORTS_KEY, resource, () -> this.computeDirectImports(resource));
         }
@@ -58,7 +61,7 @@ public class ImportCollector {
                 if (resourceSet == null) {
                         return ImportCollection.EMPTY;
                 }
-                var adapter = ImportAdapter.getOrInstall(resourceSet);
+                var adapter = importAdapterProvider.getOrInstall(resourceSet);
                 var collection = new ImportCollection();
                 collectAutomaticImports(collection, adapter);
                 collectExplicitImports(problem, collection, adapter);