Merged changes from feature/scl to master.

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / chr / relations / SpecialCHRRelation.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/SpecialCHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/SpecialCHRRelation.java
new file mode 100644 (file)
index 0000000..dac7514
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/SpecialCHRRelation.java
@@ -0,0 +1,31 @@
+package org.simantics.scl.compiler.elaboration.chr.relations;\r
+\r
+import org.simantics.scl.compiler.elaboration.chr.CHRRelation;\r
+import org.simantics.scl.compiler.types.TVar;\r
+import org.simantics.scl.compiler.types.Type;\r
+import org.simantics.scl.compiler.types.Types;\r
+\r
+public enum SpecialCHRRelation implements CHRRelation {    \r
+    EQUALS(A, A),\r
+    MEMBER(A, Types.list(A)),\r
+    CHECK(Types.BOOLEAN),\r
+    EXECUTE(Types.UNIT);\r
+    \r
+    private final TVar[] typeVariables;\r
+    private final Type[] parameterTypes;\r
+    \r
+    private SpecialCHRRelation(Type ... parameterTypes) {\r
+        this.typeVariables = Types.freeVarsArray(parameterTypes);\r
+        this.parameterTypes = parameterTypes;\r
+    }\r
+\r
+    @Override\r
+    public TVar[] getTypeVariables() {\r
+        return typeVariables;\r
+    }\r
+    \r
+    @Override\r
+    public Type[] getParameterTypes() {\r
+        return parameterTypes;\r
+    }\r
+}\r