-package org.simantics.scl.compiler.internal.parsing.declarations;\r
-\r
-import java.util.ArrayList;\r
-\r
-import org.simantics.scl.compiler.elaboration.expressions.EVar;\r
-import org.simantics.scl.compiler.internal.parsing.types.TypeAst;\r
-\r
-public class DDerivingInstanceAst extends DeclarationAst {\r
- public final TypeAst[] context;\r
- public final EVar name;\r
- public final TypeAst[] types;\r
- \r
- public DDerivingInstanceAst(ArrayList<TypeAst> context, EVar name, \r
- TypeAst[] types) {\r
- this.context = context.toArray(new TypeAst[context.size()]);\r
- this.name = name;\r
- this.types = types;\r
- }\r
- \r
- @Override\r
- public void toString(int indentation, StringBuilder b) {\r
- for(int i=0;i<indentation;++i) b.append(" ");\r
- b.append("deriving instance ");\r
- if(context.length > 0) {\r
- b.append("(");\r
- for(int i=0;i<context.length;++i) {\r
- if(i>0)\r
- b.append(", ");\r
- context[i].toString(b);\r
- }\r
- b.append(") => ");\r
- \r
- }\r
- b.append(name);\r
- for(TypeAst type : types) {\r
- b.append(' ');\r
- type.toString(b, 1);\r
- }\r
- }\r
-}\r
+package org.simantics.scl.compiler.internal.parsing.declarations;
+
+import java.util.ArrayList;
+
+import org.simantics.scl.compiler.elaboration.expressions.EVar;
+import org.simantics.scl.compiler.internal.parsing.types.TypeAst;
+
+public class DDerivingInstanceAst extends DeclarationAst {
+ public final TypeAst[] context;
+ public final EVar name;
+ public final TypeAst[] types;
+
+ public DDerivingInstanceAst(ArrayList<TypeAst> context, EVar name,
+ TypeAst[] types) {
+ this.context = context.toArray(new TypeAst[context.size()]);
+ this.name = name;
+ this.types = types;
+ }
+
+ @Override
+ public void toString(int indentation, StringBuilder b) {
+ for(int i=0;i<indentation;++i) b.append(" ");
+ b.append("deriving instance ");
+ if(context.length > 0) {
+ b.append("(");
+ for(int i=0;i<context.length;++i) {
+ if(i>0)
+ b.append(", ");
+ context[i].toString(b);
+ }
+ b.append(") => ");
+
+ }
+ b.append(name);
+ for(TypeAst type : types) {
+ b.append(' ');
+ type.toString(b, 1);
+ }
+ }
+}