|
||||||||||
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
PClass
this
.
instantiate
in interface PClass
pos
- The position of the instantiationactuals
- The actual type parameters for the instantiation
SemanticException
public ClassType nullInstantiate(Position pos)
PClass
this
. A null instantiation is an
instantiation where the actuals are identical to the formals.
nullInstantiate
in interface PClass
pos
- The position of the instantiationpublic ClassType nullInstantiate()
PClass
this
at the position of
clazz()
.
nullInstantiate
in interface PClass
public boolean isCanonical()
TypeObject
isCanonical
in interface TypeObject
public java.lang.String name()
Named
name
in interface Named
public java.lang.String fullName()
Named
fullName
in interface Named
public Package package_()
package_
in interface Importable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |