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%2FTListAst.java;h=8b19d07c6645fe118e7c0cda628da9a5d9d9a650;hb=3ccd513530bc718ef384780d3151ddbb85600986;hp=21f22d8ec4a79d8b2fd34d64a24372a677a5f212;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TListAst.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TListAst.java index 21f22d8ec..8b19d07c6 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TListAst.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TListAst.java @@ -1,50 +1,50 @@ -package org.simantics.scl.compiler.internal.parsing.types; - -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 TListAst extends TypeAst { - public final TypeAst component; - - public TListAst(TypeAst component) { - this.component = component; - } - - @Override - public void toString(StringBuilder b) { - b.append('['); - component.toString(b); - b.append(']'); - } - - @Override - public Type toType(TypeTranslationContext context, Kind expectedKind) { - context.unify(location, Kinds.STAR, expectedKind); - return Types.list(component.toType(context, Kinds.STAR)); - } - - @Override - public Type toType(TypeElaborationContext context) { - return Types.list(component.toType(context)); - } - - @Override - public int getPrecedence() { - return 0; - } - - @Override - public void collectReferences(TObjectIntHashMap typeNameMap, - TIntHashSet set) { - component.collectReferences(typeNameMap, set); - } -} +package org.simantics.scl.compiler.internal.parsing.types; + +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 TListAst extends TypeAst { + public final TypeAst component; + + public TListAst(TypeAst component) { + this.component = component; + } + + @Override + public void toString(StringBuilder b) { + b.append('['); + component.toString(b); + b.append(']'); + } + + @Override + public Type toType(TypeTranslationContext context, Kind expectedKind) { + context.unify(location, Kinds.STAR, expectedKind); + return Types.list(component.toType(context, Kinds.STAR)); + } + + @Override + public Type toType(TypeElaborationContext context) { + return Types.list(component.toType(context)); + } + + @Override + public int getPrecedence() { + return 0; + } + + @Override + public void collectReferences(TObjectIntHashMap typeNameMap, + TIntHashSet set) { + component.collectReferences(typeNameMap, set); + } +}