polyglot.ext.jl5.types

Interface JL5Subst

All Superinterfaces:

java.io.Serializable, Subst<TypeVariable,ReferenceType>

All Known Implementing Classes:

JL5RawSubst_c, JL5Subst_c

public interface JL5Subst
extends Subst<TypeVariable,ReferenceType>

Method Summary

Methods

Modifier and Type	Method and Description
JL5ProcedureInstance	substProcedure(JL5ProcedureInstance mi)

Methods inherited from interface polyglot.ext.param.types.Subst

entries, is_entry, substConstructor, substConstructorList, substField, substFieldList, substitutions, substMethod, substMethodList, substPClass, substType, substTypeList, typeSystem

Method Detail

substProcedure

JL5ProcedureInstance substProcedure(JL5ProcedureInstance mi)