|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object orc.ast.oil.type.Type orc.ast.oil.type.PolymorphicTypeAlias
public class PolymorphicTypeAlias
A representation of an aliased type with type parameters.
Field Summary | |
---|---|
Type |
type
|
int |
typeArity
|
Fields inherited from class orc.ast.oil.type.Type |
---|
BOT, TOP |
Constructor Summary | |
---|---|
PolymorphicTypeAlias(Type type,
int typeArity)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
int |
hashCode()
|
Type |
marshal()
Convert this type into an XML-isomorphic format for serialization. |
Type |
transform(TypingContext ctx)
Convert this syntactic type into an actual type, given an appropriate type context |
Methods inherited from class orc.ast.oil.type.Type |
---|
inferredTypes, marshalAll, transformAll |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public Type type
public int typeArity
Constructor Detail |
---|
public PolymorphicTypeAlias(Type type, int typeArity)
Method Detail |
---|
public int hashCode()
hashCode
in class Type
public boolean equals(java.lang.Object obj)
equals
in class Type
public Type transform(TypingContext ctx) throws TypeException
Type
transform
in class Type
ctx
- TODO
TypeException
- TODOpublic Type marshal()
Type
marshal
in class Type
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |