polyglot.ext.param.types
Interface Subst

All Superinterfaces:

java.io.Serializable

All Known Subinterfaces:

CofferSubst

All Known Implementing Classes:

CofferSubst_c, Subst_c

public interface Subst
extends java.io.Serializable

Utility class that performs substitutions on type objects.

Method Summary

java.util.Iterator	entries() Entries of the underlying substitution map.
ConstructorInstance	substConstructor(ConstructorInstance ci) Perform substititions on a constructor.
java.util.List	substConstructorList(java.util.List list) Perform substitutions on a list of constructors.
FieldInstance	substField(FieldInstance fi) Perform substititions on a field.
java.util.List	substFieldList(java.util.List list) Perform substitutions on a list of fields.
java.util.Map	substitutions() Get the map of formals to actuals.
MethodInstance	substMethod(MethodInstance mi) Perform substititions on a method.
java.util.List	substMethodList(java.util.List list) Perform substitutions on a list of methods.
PClass	substPClass(PClass pc) Perform substitutions on a PClass.
Type	substType(Type t) Perform substitutions on a type.
java.util.List	substTypeList(java.util.List list) Perform substitutions on a list of types.
ParamTypeSystem	typeSystem() Type system

Method Detail

entries

java.util.Iterator entries()

Entries of the underlying substitution map.

Returns:

An Iterator of Map.Entry.

typeSystem

ParamTypeSystem typeSystem()

Type system

substitutions

java.util.Map substitutions()

Get the map of formals to actuals.

substType

Type substType(Type t)

Perform substitutions on a type.

substPClass

PClass substPClass(PClass pc)

Perform substitutions on a PClass.

substField

FieldInstance substField(FieldInstance fi)

Perform substititions on a field.

substMethod

MethodInstance substMethod(MethodInstance mi)

Perform substititions on a method.

substConstructor

ConstructorInstance substConstructor(ConstructorInstance ci)

Perform substititions on a constructor.

substTypeList

java.util.List substTypeList(java.util.List list)

Perform substitutions on a list of types.

substMethodList

java.util.List substMethodList(java.util.List list)

Perform substitutions on a list of methods.

substConstructorList

java.util.List substConstructorList(java.util.List list)

Perform substitutions on a list of constructors.

substFieldList

java.util.List substFieldList(java.util.List list)

Perform substitutions on a list of fields.