bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/modules/TypeAlias.java

   1 package org.simantics.scl.compiler.elaboration.modules;
   2
   3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   4 import org.simantics.scl.compiler.types.TCon;
   5 import org.simantics.scl.compiler.types.TVar;
   6 import org.simantics.scl.compiler.types.Type;
   7 import org.simantics.scl.compiler.types.kinds.Kind;
   8
   9 public class TypeAlias extends TypeDescriptor {
  10     public TVar[] parameters;
  11     public Type body;
  12     public String documentation;
  13
  14     public TypeAlias(TCon name, int arity) {
  15         super(name);
  16         this.parameters = new TVar[arity];
  17     }
  18
  19     public int getArity() {
  20         return parameters.length;
  21     }
  22
  23     @Override
  24     public Kind getKind() {
  25         throw new InternalCompilerError("Unsupported method TypeAlias.getKind invoked.");
  26     }
  27
  28     @Override
  29     public void setDocumentation(String documentation) {
  30         this.documentation = documentation;
  31     }
  32
  33     @Override
  34     public String getDocumentation() {
  35         return documentation;
  36     }
  37 }