]> gerrit.simantics Code Review - simantics/platform.git/blob
ce888324ce2bda26efc182a97e9ea388d2a328b5
[simantics/platform.git] /
1 package org.simantics.scl.compiler.elaboration.modules;\r
2 \r
3 import org.simantics.scl.compiler.types.TCon;\r
4 import org.simantics.scl.compiler.types.TVar;\r
5 import org.simantics.scl.compiler.types.Type;\r
6 \r
7 public class TypeAlias {\r
8     TCon con;\r
9     \r
10     public TVar[] parameters;\r
11     public Type body;\r
12     \r
13     public TypeAlias(TCon con, int arity) {\r
14         this.con = con;\r
15         this.parameters = new TVar[arity];\r
16     }\r
17     \r
18     public TCon getCon() {\r
19         return con;\r
20     }\r
21 \r
22     public int getArity() {\r
23         return parameters.length;\r
24     }\r
25 }\r