bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/types/ast/TEffectAst.java

   1 package org.simantics.scl.compiler.internal.types.ast;
   2
   3 import org.simantics.scl.compiler.internal.types.TypeElaborationContext;
   4 import org.simantics.scl.compiler.types.Type;
   5
   6
   7
   8 public class TEffectAst extends TypeAst {
   9     public final TypeAst effect;
  10     public final TypeAst type;
  11
  12     public TEffectAst(TypeAst effect, TypeAst type) {
  13         this.effect = effect;
  14         this.type = type;
  15     }
  16
  17     @Override
  18     public void toString(StringBuilder b) {
  19         b.append('<');
  20         effect.toString(b);
  21         b.append("> ");
  22         b.append(type);
  23     }
  24
  25     @Override
  26     public Type toType(TypeElaborationContext context) {
  27         throw new UnsupportedOperationException();
  28     }
  29
  30     @Override
  31     public int getPrecedence() {
  32         return 0;
  33     }
  34 }