X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Fparsing%2Fdeclarations%2FDValueTypeAst.java;h=3f1e2c0eec8310cb6ee225f4e2ca43b982d8e4d9;hb=48e0bda8e45286b2bcc65b75e0364e2223ba3ec4;hp=b13cf81bcc69e39d6a3569bcfb5a9f37595618dd;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DValueTypeAst.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DValueTypeAst.java index b13cf81bc..3f1e2c0ee 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DValueTypeAst.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DValueTypeAst.java @@ -1,26 +1,26 @@ -package org.simantics.scl.compiler.internal.parsing.declarations; - -import org.simantics.scl.compiler.elaboration.expressions.EVar; -import org.simantics.scl.compiler.internal.parsing.types.TypeAst; - -public class DValueTypeAst extends DeclarationAst { - public final EVar[] names; - public final TypeAst type; - - public DValueTypeAst(EVar[] names, TypeAst type) { - this.names = names; - this.type = type; - } - - @Override - public void toString(int indentation, StringBuilder b) { - for(int i=0;i 0) - b.append(", "); - b.append(names[i]); - } - b.append(" :: "); - type.toString(b); - } -} +package org.simantics.scl.compiler.internal.parsing.declarations; + +import org.simantics.scl.compiler.elaboration.expressions.EVar; +import org.simantics.scl.compiler.internal.parsing.types.TypeAst; + +public class DValueTypeAst extends DeclarationAst { + public final EVar[] names; + public final TypeAst type; + + public DValueTypeAst(EVar[] names, TypeAst type) { + this.names = names; + this.type = type; + } + + @Override + public void toString(int indentation, StringBuilder b) { + for(int i=0;i 0) + b.append(", "); + b.append(names[i]); + } + b.append(" :: "); + type.toString(b); + } +}