bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/SpecialCHRRelation.java

   1 package org.simantics.scl.compiler.elaboration.chr.relations;\r
   2 \r
   3 import org.simantics.scl.compiler.elaboration.chr.CHRRelation;\r
   4 import org.simantics.scl.compiler.types.TVar;\r
   5 import org.simantics.scl.compiler.types.Type;\r
   6 import org.simantics.scl.compiler.types.Types;\r
   7 \r
   8 public enum SpecialCHRRelation implements CHRRelation {    \r
   9     EQUALS(A, A),\r
  10     MEMBER(A, Types.list(A)),\r
  11     CHECK(Types.BOOLEAN),\r
  12     EXECUTE(Types.UNIT);\r
  13     \r
  14     private final TVar[] typeVariables;\r
  15     private final Type[] parameterTypes;\r
  16     \r
  17     private SpecialCHRRelation(Type ... parameterTypes) {\r
  18         this.typeVariables = Types.freeVarsArray(parameterTypes);\r
  19         this.parameterTypes = parameterTypes;\r
  20     }\r
  21 \r
  22     @Override\r
  23     public TVar[] getTypeVariables() {\r
  24         return typeVariables;\r
  25     }\r
  26     \r
  27     @Override\r
  28     public Type[] getParameterTypes() {\r
  29         return parameterTypes;\r
  30     }\r
  31 }\r