Package net.sourceforge.pmd.lang.java.types

Interface SubstVar

All Superinterfaces:

JTypeMirror, JTypeVisitable

All Known Subinterfaces:

JTypeVar

public interface SubstVar
extends JTypeMirror

Common supertype for JTypeVar and InferenceVar, the two kinds of types that can be substituted in types.

See Also:

• TypeOps.subst(JTypeMirror, Function)

Method Summary

Modifier and Type	Method	Description
default JTypeMirror	subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Replace the type variables occurring in the given type by their image by the given function.

Methods inherited from interface net.sourceforge.pmd.lang.java.types.JTypeMirror

addAnnotation, box, equals, getAsSuper, getConstructors, getErasure, getSuperTypeSet, getSymbol, getTypeAnnotations, getTypeSystem, isArray, isBottom, isBoxedPrimitive, isClassOrInterface, isConvertibleTo, isFloatingPoint, isGeneric, isGenericTypeDeclaration, isIntegral, isInterface, isNumeric, isParameterizedType, isPrimitive, isPrimitive, isRaw, isReifiable, isSubtypeOf, isTop, isTypeVariable, isVoid, streamDeclaredMethods, streamMethods, toString, unbox, withAnnotations

Methods inherited from interface net.sourceforge.pmd.lang.java.types.JTypeVisitable

acceptVisitor

Method Details

subst

default JTypeMirror subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)

Description copied from interface: JTypeVisitable

Replace the type variables occurring in the given type by their image by the given function. Substitutions are not applied recursively (ie, is not applied on the result of a substitution).

Specified by:

subst in interface JTypeMirror

Specified by:

subst in interface JTypeVisitable

Parameters:

subst - Substitution function, eg a Substitution