|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpolyglot.ext.jl.types.TypeObject_c
polyglot.ext.param.types.PClass_c
A base implementation for parametric classes. This class is a wrapper around a ClassType that associates formal parameters with the class. formals can be any type object.
| Field Summary |
| Fields inherited from class polyglot.ext.jl.types.TypeObject_c |
position, ts |
| Constructor Summary | |
protected |
PClass_c()
|
|
PClass_c(TypeSystem ts)
|
|
PClass_c(TypeSystem ts,
Position pos)
|
| Method Summary | |
java.lang.String |
fullName()
Full dotted-name of the type object. |
ClassType |
instantiate(Position pos,
java.util.List actuals)
Instantiate this. |
boolean |
isCanonical()
Return true if the type object contains no unknown/ambiguous types. |
java.lang.String |
name()
Simple name of the type object. |
ClassType |
nullInstantiate()
Null instantiate this at the position of
clazz(). |
ClassType |
nullInstantiate(Position pos)
Null instantiate this. |
Package |
package_()
|
| Methods inherited from class polyglot.ext.jl.types.TypeObject_c |
copy, equals, equalsImpl, position, typeSystem |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface polyglot.ext.param.types.PClass |
clazz, formals |
| Methods inherited from interface polyglot.types.TypeObject |
equalsImpl, position, typeSystem |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Constructor Detail |
protected PClass_c()
public PClass_c(TypeSystem ts)
public PClass_c(TypeSystem ts,
Position pos)
| Method Detail |
public ClassType instantiate(Position pos,
java.util.List actuals)
throws SemanticException
PClassthis.
instantiate in interface PClasspos - The position of the instantiationactuals - The actual type parameters for the instantiation
SemanticExceptionpublic ClassType nullInstantiate(Position pos)
PClassthis. A null instantiation is an
instantiation where the actuals are identical to the formals.
nullInstantiate in interface PClasspos - The position of the instantiationpublic ClassType nullInstantiate()
PClassthis at the position of
clazz().
nullInstantiate in interface PClasspublic boolean isCanonical()
TypeObject
isCanonical in interface TypeObjectpublic java.lang.String name()
Named
name in interface Namedpublic java.lang.String fullName()
Named
fullName in interface Namedpublic Package package_()
package_ in interface Importable
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||