public interface JL5Subst extends Subst<TypeVariable,ReferenceType>
Modifier and Type | Method and Description |
---|---|
JL5ProcedureInstance |
substProcedure(JL5ProcedureInstance mi) |
entries, is_entry, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem
JL5ProcedureInstance substProcedure(JL5ProcedureInstance mi)