|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Parametric class. This class is a wrapper around a ClassType that associates formal parameters with the class. formals can be any type object.
Method Summary | |
ClassType |
clazz()
The class associated with this . |
java.util.List |
formals()
The formal type parameters associated with this . |
ClassType |
instantiate(Position pos,
java.util.List actuals)
Instantiate this . |
ClassType |
nullInstantiate()
Null instantiate this at the position of
clazz() . |
ClassType |
nullInstantiate(Position pos)
Null instantiate this . |
Methods inherited from interface polyglot.types.Importable |
package_ |
Methods inherited from interface polyglot.types.Named |
fullName, name |
Methods inherited from interface polyglot.types.TypeObject |
equalsImpl, isCanonical, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
copy |
Method Detail |
public java.util.List formals()
this
.
public ClassType clazz()
this
. Note that
this
should never be used as a first-class type.
public ClassType instantiate(Position pos, java.util.List actuals) throws SemanticException
this
.
pos
- The position of the instantiationactuals
- The actual type parameters for the instantiation
SemanticException
public ClassType nullInstantiate()
this
at the position of
clazz()
.
public ClassType nullInstantiate(Position pos)
this
. A null instantiation is an
instantiation where the actuals are identical to the formals.
pos
- The position of the instantiation
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |