X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Felaboration%2Fconstraints2%2FConstraintSolver.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Felaboration%2Fconstraints2%2FConstraintSolver.java;h=652bc00b4809d8083652b3068afbf78f88bdc677;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints2/ConstraintSolver.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints2/ConstraintSolver.java
new file mode 100644
index 000000000..652bc00b4
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints2/ConstraintSolver.java
@@ -0,0 +1,43 @@
+package org.simantics.scl.compiler.internal.elaboration.constraints2;
+
+import gnu.trove.map.hash.THashMap;
+import gnu.trove.procedure.TObjectObjectProcedure;
+
+import org.simantics.scl.compiler.environment.Environment;
+import org.simantics.scl.compiler.types.TCon;
+import org.simantics.scl.compiler.types.TPred;
+import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
+
+public class ConstraintSolver {
+    final Environment environment;
+    private final THashMap<TCon, ConstraintStore> constraintStores = 
+            new THashMap<TCon, ConstraintStore>();
+    
+    public ConstraintSolver(Environment environment) {
+        this.environment = environment;
+    }
+
+    private ConstraintStore getConstraintStore(TCon typeClass) {
+        ConstraintStore store = constraintStores.get(typeClass);
+        if(store == null) {
+            store = new ConstraintStore(this, typeClass);
+            constraintStores.put(typeClass, store);
+        }
+        return store;
+    }
+    
+    public ConstraintHandle addDemand(TPred pred, long location) {
+        return getConstraintStore(pred.typeClass).addConstraint(pred, location);
+    }
+    
+    public void print() {
+        final TypeUnparsingContext tuc = new TypeUnparsingContext();
+        constraintStores.forEachEntry(new TObjectObjectProcedure<TCon, ConstraintStore>() {
+            @Override
+            public boolean execute(TCon pred, ConstraintStore store) {
+                store.print(tuc);
+                return true;
+            }
+        });
+    }
+}