1 package org.simantics.scl.compiler.internal.parsing.declarations;
\r
3 import java.util.ArrayList;
\r
5 import org.simantics.scl.compiler.elaboration.expressions.EVar;
\r
6 import org.simantics.scl.compiler.internal.parsing.types.TypeAst;
\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
14 public DInstanceAst(long loc, TypeAst[] context, EVar name, TypeAst[] types) {
\r
15 this.location = loc;
\r
16 this.context = context;
\r
19 this.declarations = DeclarationAst.EMPTY_ARRAY;
\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
27 this.declarations = declarations == null ? EMPTY_ARRAY : declarations.toArray(new DeclarationAst[declarations.size()]);
\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
36 for(int i=0;i<context.length;++i) {
\r
39 context[i].toString(b);
\r
45 for(TypeAst type : types) {
\r
47 type.toString(b, 1);
\r
49 if(declarations.length > 0) {
\r
51 for(DeclarationAst declaration : declarations) {
\r
53 declaration.toString(indentation+1, b);
\r