polyglot.ext.param.types

Interface PClass<Formal extends Param,Actual extends TypeObject>

All Superinterfaces:

java.lang.Cloneable, Copy<TypeObject>, Importable, Named, java.io.Serializable, TypeObject

All Known Subinterfaces:

MuPClass<Formal,Actual>

All Known Implementing Classes:

MuPClass_c, PClass_c

public interface PClass<Formal extends Param,Actual extends TypeObject>
extends Importable

Parametric class. This class is a wrapper around a ClassType that associates formal parameters with the class. formals can be any type object.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Method Summary

Methods

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.

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<Formal> formals()

The formal type parameters associated with this.

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<Actual> actuals)
                      throws SemanticException

Instantiate this.

Parameters:

pos - The position of the instantiation

actuals - The actual type parameters for the instantiation

Throws:

SemanticException