Interface SubstVar
-
- All Superinterfaces:
JTypeMirror,JTypeVisitable
- All Known Subinterfaces:
JTypeVar
public interface SubstVar extends JTypeMirror
Common supertype forJTypeVarandInferenceVar, the two kinds of types that can be substituted in types.- See Also:
TypeOps.subst(JTypeMirror, Function)
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default JTypeMirrorsubst(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 Detail
-
subst
default JTypeMirror subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
Description copied from interface:JTypeVisitableReplace 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:
substin interfaceJTypeMirror- Specified by:
substin interfaceJTypeVisitable- Parameters:
subst- Substitution function, eg aSubstitution
-
-