Uses of Class
net.sourceforge.pmd.lang.java.types.Substitution

Packages that use Substitution

Package	Description
net.sourceforge.pmd.lang.java.ast	Contains the classes and interfaces modelling the Java AST.
net.sourceforge.pmd.lang.java.symbols	The new symbol resolution framework that inter-operates cleanly with type resolution.
net.sourceforge.pmd.lang.java.types	Support for compile-time type resolution on the AST.

Uses of Substitution in net.sourceforge.pmd.lang.java.ast

Methods in net.sourceforge.pmd.lang.java.ast with parameters of type Substitution

Modifier and Type	Method	Description
static JTypeMirror	InternalApiBridge.buildTypeFromAstInternal(TypeSystem ts, Substitution lexicalSubst, ASTType node)

Uses of Substitution in net.sourceforge.pmd.lang.java.symbols

Methods in net.sourceforge.pmd.lang.java.symbols with parameters of type Substitution

Modifier and Type	Method	Description
@Nullable JTypeMirror	JExecutableSymbol.getAnnotatedReceiverType(Substitution subst)	Return the receiver type with all type annotations, when viewed under the given substitution.
List<JTypeMirror>	JExecutableSymbol.getFormalParameterTypes(Substitution subst)	Returns the types of the formal parameters, when viewed under the given substitution.
JTypeMirror	JMethodSymbol.getReturnType(Substitution subst)	Returns the return type under the given substitution.
@Nullable JClassType	JClassSymbol.getSuperclassType(Substitution substitution)	Returns the superclass type, under the given substitution.
List<JClassType>	JClassSymbol.getSuperInterfaceTypes(Substitution substitution)	Returns the list of super interface types, under the given substitution.
List<JTypeMirror>	JExecutableSymbol.getThrownExceptionTypes(Substitution subst)	Returns the types of the thrown exceptions, when viewed under the given substitution.
JTypeMirror	JVariableSymbol.getTypeMirror(Substitution subst)	Returns the type of this value, under the given substitution.

Uses of Substitution in net.sourceforge.pmd.lang.java.types

Fields in net.sourceforge.pmd.lang.java.types declared as Substitution

Modifier and Type	Field	Description
static Substitution	Substitution.EMPTY	The empty substitution maps every type variable to itself.

Methods in net.sourceforge.pmd.lang.java.types that return Substitution

Modifier and Type	Method	Description
Substitution	Substitution.andThen(Substitution other)	Returns a composed substitution that first applies this substitution to its input, and then applies the after substitution to the result.
static Substitution	Substitution.erasing(List<? extends JTypeVar> tparams)	Returns a substitution that replaces the given type variables with their erasure.
Substitution	JClassType.getTypeParamSubst()	Returns the substitution mapping the formal type parameters of all enclosing types to their type arguments.
static Substitution	Substitution.mapping(List<? extends SubstVar> from, List<? extends JTypeMirror> to)	Builds a substitution where the mapping from vars to types is defined by the correspondence between the two lists.
Substitution	Substitution.plus(SubstVar from, JTypeMirror to)	Maps the given variable to the given type.

Methods in net.sourceforge.pmd.lang.java.types with parameters of type Substitution

Modifier and Type	Method	Description
Substitution	Substitution.andThen(Substitution other)	Returns a composed substitution that first applies this substitution to its input, and then applies the after substitution to the result.
static @Nullable JTypeMirror	TypesFromReflection.fromReflect(TypeSystem ts, @NonNull Type reflected, LexicalScope lexicalScope, Substitution subst)	Builds a type from reflection.
JMethodSig	TypeSystem.sigOf(JExecutableSymbol methodSym, Substitution subst)