Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / compilation / TypeInferableDefinition.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeInferableDefinition.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeInferableDefinition.java
new file mode 100644 (file)
index 0000000..34c6c1b
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/TypeInferableDefinition.java
@@ -0,0 +1,28 @@
+package org.simantics.scl.compiler.compilation;
+
+import gnu.trove.map.hash.TObjectIntHashMap;
+import gnu.trove.set.hash.THashSet;
+import gnu.trove.set.hash.TIntHashSet;
+
+import java.util.ArrayList;
+import java.util.Collection;
+
+import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
+import org.simantics.scl.compiler.elaboration.expressions.Variable;
+import org.simantics.scl.compiler.internal.elaboration.constraints.Constraint;
+import org.simantics.scl.compiler.types.TPred;
+import org.simantics.scl.compiler.types.TVar;
+
+public interface TypeInferableDefinition {
+    long getLocation();
+    Collection<Object> getDefinedObjects();
+    void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs);
+    
+    void initializeTypeChecking(TypingContext context);
+    void checkType(TypingContext context);
+    void solveConstraints();
+    void collectFreeTypeVariables(THashSet<TVar> varSet);
+    ArrayList<Variable> getFreeEvidence();
+    void injectEvidence(TVar[] vars, TPred[] constraints);
+    ArrayList<Constraint> getUnsolvedConstraints();
+}