Interface SubstVar
-
- All Superinterfaces:
JTypeMirror
,JTypeVisitable
- All Known Subinterfaces:
JTypeVar
public interface SubstVar extends JTypeMirror
Common supertype forJTypeVar
andInferenceVar
, 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 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 Detail
-
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 interfaceJTypeMirror
- Specified by:
subst
in interfaceJTypeVisitable
- Parameters:
subst
- Substitution function, eg aSubstitution
-
-