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%2Ftypes%2FTTupleAst.java;h=5d18193d3ca7446295366bcfd9238a7ee153c632;hb=1dfeb7d5c49b1391cd9d877e1eddab18995cb151;hp=caad186e60ead86c6389c27d04f01b88e9a027c9;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TTupleAst.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TTupleAst.java index caad186e6..5d18193d3 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TTupleAst.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TTupleAst.java @@ -1,71 +1,71 @@ -package org.simantics.scl.compiler.internal.parsing.types; - -import java.util.List; - -import org.simantics.scl.compiler.elaboration.contexts.TypeTranslationContext; -import org.simantics.scl.compiler.internal.types.TypeElaborationContext; -import org.simantics.scl.compiler.types.Type; -import org.simantics.scl.compiler.types.Types; -import org.simantics.scl.compiler.types.kinds.Kind; -import org.simantics.scl.compiler.types.kinds.Kinds; - -import gnu.trove.map.hash.TObjectIntHashMap; -import gnu.trove.set.hash.TIntHashSet; - - - -public class TTupleAst extends TypeAst { - public final TypeAst[] components; - - public TTupleAst(TypeAst ... components) { - this.components = components; - } - - public TTupleAst(List components) { - this(components.toArray(new TypeAst[components.size()])); - } - - @Override - public void toString(StringBuilder b) { - b.append('('); - for(int i=0;i 0) - b.append(", "); - components[i].toString(b); - } - b.append(')'); - } - - @Override - public Type toType(TypeTranslationContext context, Kind expectedKind) { - if(components.length == 1) { - return components[0].toType(context, expectedKind); - } - else { - context.unify(location, Kinds.STAR, expectedKind); - return Types.tuple(toTypes(context, components)); - } - } - - @Override - public Type toType(TypeElaborationContext context) { - if(components.length == 1) { - return components[0].toType(context); - } - else { - return Types.tuple(toTypes(context, components)); - } - } - - @Override - public int getPrecedence() { - return 0; - } - - @Override - public void collectReferences(TObjectIntHashMap typeNameMap, - TIntHashSet set) { - for(TypeAst component : components) - component.collectReferences(typeNameMap, set); - } -} +package org.simantics.scl.compiler.internal.parsing.types; + +import java.util.List; + +import org.simantics.scl.compiler.elaboration.contexts.TypeTranslationContext; +import org.simantics.scl.compiler.internal.types.TypeElaborationContext; +import org.simantics.scl.compiler.types.Type; +import org.simantics.scl.compiler.types.Types; +import org.simantics.scl.compiler.types.kinds.Kind; +import org.simantics.scl.compiler.types.kinds.Kinds; + +import gnu.trove.map.hash.TObjectIntHashMap; +import gnu.trove.set.hash.TIntHashSet; + + + +public class TTupleAst extends TypeAst { + public final TypeAst[] components; + + public TTupleAst(TypeAst ... components) { + this.components = components; + } + + public TTupleAst(List components) { + this(components.toArray(new TypeAst[components.size()])); + } + + @Override + public void toString(StringBuilder b) { + b.append('('); + for(int i=0;i 0) + b.append(", "); + components[i].toString(b); + } + b.append(')'); + } + + @Override + public Type toType(TypeTranslationContext context, Kind expectedKind) { + if(components.length == 1) { + return components[0].toType(context, expectedKind); + } + else { + context.unify(location, Kinds.STAR, expectedKind); + return Types.tuple(toTypes(context, components)); + } + } + + @Override + public Type toType(TypeElaborationContext context) { + if(components.length == 1) { + return components[0].toType(context); + } + else { + return Types.tuple(toTypes(context, components)); + } + } + + @Override + public int getPrecedence() { + return 0; + } + + @Override + public void collectReferences(TObjectIntHashMap typeNameMap, + TIntHashSet set) { + for(TypeAst component : components) + component.collectReferences(typeNameMap, set); + } +}