bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DInstanceAst.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 DInstanceAst extends DeclarationAst {\r
   9     public final TypeAst[] context;\r
  10     public final EVar name;\r
  11     public final TypeAst[] types;\r
  12     public final DeclarationAst[] declarations;\r
  13     \r
  14     public DInstanceAst(long loc, TypeAst[] context, EVar name, TypeAst[] types) {\r
  15         this.location = loc;\r
  16         this.context = context;\r
  17         this.name = name;\r
  18         this.types = types;\r
  19         this.declarations = DeclarationAst.EMPTY_ARRAY;\r
  20     }\r
  21 \r
  22     public DInstanceAst(ArrayList<TypeAst> context, EVar name, \r
  23             TypeAst[] types, ArrayList<DeclarationAst> declarations) {\r
  24         this.context = context.toArray(new TypeAst[context.size()]);\r
  25         this.name = name;\r
  26         this.types = types;\r
  27         this.declarations = declarations == null ? EMPTY_ARRAY : declarations.toArray(new DeclarationAst[declarations.size()]);\r
  28     }\r
  29     \r
  30     @Override\r
  31     public void toString(int indentation, StringBuilder b) {\r
  32         for(int i=0;i<indentation;++i) b.append("    ");\r
  33         b.append("instance ");\r
  34         if(context.length > 0) {\r
  35             b.append("(");\r
  36             for(int i=0;i<context.length;++i) {\r
  37                 if(i>0)\r
  38                     b.append(", ");\r
  39                 context[i].toString(b);\r
  40             }\r
  41             b.append(") => ");\r
  42             \r
  43         }\r
  44         b.append(name);\r
  45         for(TypeAst type : types) {\r
  46             b.append(' ');\r
  47             type.toString(b, 1);\r
  48         }\r
  49         if(declarations.length > 0) {\r
  50             b.append(" where");\r
  51             for(DeclarationAst declaration : declarations) {\r
  52                 b.append('\n');\r
  53                 declaration.toString(indentation+1, b);\r
  54             }\r
  55         }\r
  56     }\r
  57 }\r