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.


Method Summary
 ClassType clazz()
          The class associated with this.
 java.util.List formals()
          The formal type parameters associated with this.
 ClassType instantiate(Position pos, java.util.List actuals)
          Instantiate this.
 
Methods inherited from interface polyglot.types.Importable
package_
 
Methods inherited from interface polyglot.types.Named
fullName, name
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, isCanonical, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

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 instantiation
actuals - The actual type parameters for the instantiation
Throws:
SemanticException