public abstract class PClass_c<Formal extends Param,Actual extends TypeObject> extends TypeObject_c implements PClass<Formal,Actual>
position, ts
Modifier | Constructor and Description |
---|---|
protected |
PClass_c() |
|
PClass_c(TypeSystem ts) |
|
PClass_c(TypeSystem ts,
Position pos) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
fullName()
Full dotted-name of the type object.
|
ClassType |
instantiate(Position pos,
java.util.List<Actual> 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.
|
Package |
package_() |
ParamTypeSystem<Formal,Actual> |
typeSystem()
The object's type system.
|
copy, equals, equalsImpl, hashCode, position
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
equalsImpl, position
protected PClass_c()
public PClass_c(TypeSystem ts)
public PClass_c(TypeSystem ts, Position pos)
public ParamTypeSystem<Formal,Actual> typeSystem()
TypeObject
typeSystem
in interface TypeObject
typeSystem
in class TypeObject_c
public ClassType instantiate(Position pos, java.util.List<Actual> actuals) throws SemanticException
PClass
this
.instantiate
in interface PClass<Formal extends Param,Actual extends TypeObject>
pos
- The position of the instantiationactuals
- The actual type parameters for the instantiationSemanticException
public boolean isCanonical()
TypeObject
isCanonical
in interface TypeObject
public java.lang.String name()
Named
public java.lang.String fullName()
Named
public Package package_()
package_
in interface Importable