|
||||||||||
| 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
SemanticExceptionpublic 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 | |||||||||