polyglot.ext.param.types
Interface PClass
- All Superinterfaces:
- java.lang.Cloneable, Copy, Importable, Named, java.io.Serializable, TypeObject
- All Known Subinterfaces:
- MuPClass
- All Known Implementing Classes:
- MuPClass_c, PClass_c
public interface PClass
- extends Importable
Parameterized class. This class is a wrapper around
a ClassType that associates formal parameters with the class.
formals can be any type object.
| Methods inherited from interface polyglot.util.Copy |
copy |
formals
java.util.List formals()
- The formal type parameters associated with
this.
A list of TypeObject.
clazz
ClassType clazz()
- The class associated with
this. Note that
this should never be used as a first-class type.
instantiate
ClassType instantiate(Position pos,
java.util.List actuals)
throws SemanticException
- Instantiate
this.
- Parameters:
pos - The position of the instantiationactuals - The actual type parameters for the instantiation
- Throws:
SemanticException