bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TListAst.java

   1 package org.simantics.scl.compiler.internal.parsing.types;
   2
   3 import org.simantics.scl.compiler.elaboration.contexts.TypeTranslationContext;
   4 import org.simantics.scl.compiler.internal.types.TypeElaborationContext;
   5 import org.simantics.scl.compiler.types.Type;
   6 import org.simantics.scl.compiler.types.Types;
   7 import org.simantics.scl.compiler.types.kinds.Kind;
   8 import org.simantics.scl.compiler.types.kinds.Kinds;
   9
  10 import gnu.trove.map.hash.TObjectIntHashMap;
  11 import gnu.trove.set.hash.TIntHashSet;
  12
  13
  14
  15 public class TListAst extends TypeAst {
  16     public final TypeAst component;
  17
  18     public TListAst(TypeAst component) {
  19         this.component = component;
  20     }
  21
  22     @Override
  23     public void toString(StringBuilder b) {
  24         b.append('[');
  25         component.toString(b);
  26         b.append(']');
  27     }
  28
  29     @Override
  30     public Type toType(TypeTranslationContext context, Kind expectedKind) {
  31         context.unify(location, Kinds.STAR, expectedKind);
  32         return Types.list(component.toType(context, Kinds.STAR));
  33     }
  34
  35     @Override
  36     public Type toType(TypeElaborationContext context) {
  37         return Types.list(component.toType(context));
  38     }
  39
  40     @Override
  41     public int getPrecedence() {
  42         return 0;
  43     }
  44
  45     @Override
  46     public void collectReferences(TObjectIntHashMap<String> typeNameMap,
  47             TIntHashSet set) {
  48         component.collectReferences(typeNameMap, set);
  49     }
  50 }