bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DDerivingInstanceAst.java

   1 package org.simantics.scl.compiler.internal.parsing.declarations;\r
   2 \r
   3 import java.util.ArrayList;\r
   4 \r
   5 import org.simantics.scl.compiler.elaboration.expressions.EVar;\r
   6 import org.simantics.scl.compiler.internal.parsing.types.TypeAst;\r
   7 \r
   8 public class DDerivingInstanceAst extends DeclarationAst {\r
   9     public final TypeAst[] context;\r
  10     public final EVar name;\r
  11     public final TypeAst[] types;\r
  12     \r
  13     public DDerivingInstanceAst(ArrayList<TypeAst> context, EVar name, \r
  14             TypeAst[] types) {\r
  15         this.context = context.toArray(new TypeAst[context.size()]);\r
  16         this.name = name;\r
  17         this.types = types;\r
  18     }\r
  19     \r
  20     @Override\r
  21     public void toString(int indentation, StringBuilder b) {\r
  22         for(int i=0;i<indentation;++i) b.append("    ");\r
  23         b.append("deriving instance ");\r
  24         if(context.length > 0) {\r
  25             b.append("(");\r
  26             for(int i=0;i<context.length;++i) {\r
  27                 if(i>0)\r
  28                     b.append(", ");\r
  29                 context[i].toString(b);\r
  30             }\r
  31             b.append(") => ");\r
  32             \r
  33         }\r
  34         b.append(name);\r
  35         for(TypeAst type : types) {\r
  36             b.append(' ');\r
  37             type.toString(b, 1);\r
  38         }\r
  39     }\r
  40 }\r