public interface PClass<Formal extends Param,Actual extends TypeObject> extends Importable
Modifier and Type | Method and Description |
---|---|
ClassType |
clazz()
The class associated with
this . |
java.util.List<Formal> |
formals()
The formal type parameters associated with
this . |
ClassType |
instantiate(Position pos,
java.util.List<Actual> actuals)
Instantiate
this . |
package_
equalsImpl, isCanonical, position, typeSystem
java.util.List<Formal> formals()
this
.ClassType clazz()
this
. Note that
this
should never be used as a first-class type.ClassType instantiate(Position pos, java.util.List<Actual> actuals) throws SemanticException
this
.pos
- The position of the instantiationactuals
- The actual type parameters for the instantiationSemanticException