public interface Subst<Formal extends Param,Actual extends TypeObject>
extends java.io.Serializable
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> |
substConstructor(T ci)
Perform substitutions on a constructor.
|
<T extends ConstructorInstance> |
substConstructorList(java.util.List<T> list)
Perform substitutions on a list of
ConstructorInstance s. |
<T extends FieldInstance> |
substField(T fi)
Perform substitutions on a field.
|
<T extends FieldInstance> |
substFieldList(java.util.List<T> list)
Perform substitutions on a list of
FieldInstance s. |
java.util.Map<Formal,Actual> |
substitutions()
The map of formals to actuals.
|
<T extends MethodInstance> |
substMethod(T mi)
Perform substitutions on a method.
|
<T extends MethodInstance> |
substMethodList(java.util.List<T> list)
Perform substitutions on a list of
MethodInstance s. |
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> |
substTypeList(java.util.List<? extends Type> list)
Perform substitutions on a list of
Type s. |
ParamTypeSystem<Formal,Actual> |
typeSystem()
Type system
|
java.util.Iterator<java.util.Map.Entry<Formal,Actual>> entries()
Iterator
of Map.Entry
.java.lang.Iterable<java.util.Map.Entry<Formal,Actual>> is_entry()
ParamTypeSystem<Formal,Actual> typeSystem()
PClass<Formal,Actual> substPClass(PClass<Formal,Actual> pc)
<T extends FieldInstance> T substField(T fi)
<T extends MethodInstance> T substMethod(T mi)
<T extends ConstructorInstance> T substConstructor(T ci)
<T extends Type> java.util.List<T> substTypeList(java.util.List<? extends Type> list)
Type
s.<T extends MethodInstance> java.util.List<T> substMethodList(java.util.List<T> list)
MethodInstance
s.<T extends ConstructorInstance> java.util.List<T> substConstructorList(java.util.List<T> list)
ConstructorInstance
s.<T extends FieldInstance> java.util.List<T> substFieldList(java.util.List<T> list)
FieldInstance
s.