polyglot.ext.param.types

Interface Subst<Formal extends Param,Actual extends TypeObject>

All Superinterfaces:

java.io.Serializable

All Known Subinterfaces:

JL5Subst

All Known Implementing Classes:

JL5RawSubst_c, JL5Subst_c, Subst_c

public interface Subst<Formal extends Param,Actual extends TypeObject>
extends java.io.Serializable

Utility class that performs substitutions on type objects.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Iterator<java.util.Map.Entry<Formal,Actual>>	entries() Entries of the underlying substitution map.
java.lang.Iterable<java.util.Map.Entry<Formal,Actual>>	is_entry() An Iterable that calls entries().
<T extends ConstructorInstance> T	substConstructor(T ci) Perform substitutions on a constructor.
<T extends ConstructorInstance> java.util.List<T>	substConstructorList(java.util.List<T> list) Perform substitutions on a list of ConstructorInstances.
<T extends FieldInstance> T	substField(T fi) Perform substitutions on a field.
<T extends FieldInstance> java.util.List<T>	substFieldList(java.util.List<T> list) Perform substitutions on a list of FieldInstances.
java.util.Map<Formal,Actual>	substitutions() The map of formals to actuals.
<T extends MethodInstance> T	substMethod(T mi) Perform substitutions on a method.
<T extends MethodInstance> java.util.List<T>	substMethodList(java.util.List<T> list) Perform substitutions on a list of MethodInstances.
PClass<Formal,Actual>	substPClass(PClass<Formal,Actual> pc) Perform substitutions on a PClass.
Type	substType(Type t) Perform substitutions on a type.
<T extends Type> java.util.List<T>	substTypeList(java.util.List<? extends Type> list) Perform substitutions on a list of Types.
ParamTypeSystem<Formal,Actual>	typeSystem() Type system

Method Detail

entries

java.util.Iterator<java.util.Map.Entry<Formal,Actual>> entries()

Entries of the underlying substitution map.

Returns:

An Iterator of Map.Entry.

is_entry

java.lang.Iterable<java.util.Map.Entry<Formal,Actual>> is_entry()

An Iterable that calls entries().

typeSystem

ParamTypeSystem<Formal,Actual> typeSystem()

Type system

substitutions

java.util.Map<Formal,Actual> substitutions()

The map of formals to actuals.

substType

Type substType(Type t)

Perform substitutions on a type.

substPClass

PClass<Formal,Actual> substPClass(PClass<Formal,Actual> pc)

Perform substitutions on a PClass.

substField

<T extends FieldInstance> T substField(T fi)

Perform substitutions on a field.

substMethod

<T extends MethodInstance> T substMethod(T mi)

Perform substitutions on a method.

substConstructor

<T extends ConstructorInstance> T substConstructor(T ci)

Perform substitutions on a constructor.

substTypeList

<T extends Type> java.util.List<T> substTypeList(java.util.List<? extends Type> list)

Perform substitutions on a list of Types.

substMethodList

<T extends MethodInstance> java.util.List<T> substMethodList(java.util.List<T> list)

Perform substitutions on a list of MethodInstances.

substConstructorList

<T extends ConstructorInstance> java.util.List<T> substConstructorList(java.util.List<T> list)

Perform substitutions on a list of ConstructorInstances.

substFieldList

<T extends FieldInstance> java.util.List<T> substFieldList(java.util.List<T> list)

Perform substitutions on a list of FieldInstances.