bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/ConstraintStatement.java

   1 package org.simantics.scl.compiler.elaboration.expressions.block;\r
   2 \r
   3 import org.simantics.scl.compiler.elaboration.contexts.EnvironmentalContext;\r
   4 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;\r
   5 import org.simantics.scl.compiler.elaboration.expressions.Expression;\r
   6 import org.simantics.scl.compiler.errors.Locations;\r
   7 import org.simantics.scl.compiler.internal.parsing.Token;\r
   8 import org.simantics.scl.compiler.internal.parsing.types.TypeAst;\r
   9 \r
  10 public class ConstraintStatement extends Statement {\r
  11 \r
  12     public Token name;\r
  13     public TypeAst[] parameterTypes;\r
  14     \r
  15     public ConstraintStatement(Token name, TypeAst[] parameterTypes) {\r
  16         this.name = name;\r
  17         this.parameterTypes = parameterTypes;\r
  18     }\r
  19     \r
  20     @Override\r
  21     public void setLocationDeep(long loc) {\r
  22         if(location == Locations.NO_LOCATION) {\r
  23             location = loc;\r
  24             for(TypeAst parameterType : parameterTypes)\r
  25                 if(parameterType.location == Locations.NO_LOCATION)\r
  26                     parameterType.location = location;\r
  27         }\r
  28     }\r
  29 \r
  30     @Override\r
  31     public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) {\r
  32         throw new UnsupportedOperationException();\r
  33     }\r
  34 \r
  35     @Override\r
  36     public void resolvePattern(TranslationContext context) {\r
  37         throw new UnsupportedOperationException();\r
  38     }\r
  39 \r
  40     @Override\r
  41     public boolean mayBeRecursive() {\r
  42         throw new UnsupportedOperationException();\r
  43     }\r
  44 \r
  45     @Override\r
  46     public void accept(StatementVisitor visitor) {\r
  47         throw new UnsupportedOperationException();\r
  48     }\r
  49 \r
  50     @Override\r
  51     public StatementGroup getStatementGroup() {\r
  52         return StatementGroup.CHR;\r
  53     }\r
  54 }\r