Uses of Interface
net.sourceforge.pmd.lang.java.types.JTypeMirror

Packages that use JTypeMirror

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.symbols.table
net.sourceforge.pmd.lang.java.types	Support for compile-time type resolution on the AST.
net.sourceforge.pmd.lang.java.types.ast

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

Methods in net.sourceforge.pmd.lang.java.ast that return JTypeMirror

Modifier and Type	Method	Description
static JTypeMirror	InternalApiBridge.buildTypeFromAstInternal(TypeSystem ts, Substitution lexicalSubst, ASTType node)
@NonNull JTypeMirror	ASTFormalParameter.getTypeMirror(TypingContext ctx)
@NonNull JTypeMirror	ASTLambdaExpression.getTypeMirror()	Returns the type of the functional interface.
@NonNull JTypeMirror	ASTMethodReference.getTypeMirror()	Returns the type of the functional interface.
@NonNull JTypeMirror	ASTTypeExpression.getTypeMirror(TypingContext ctx)
@NonNull JTypeMirror	ASTVariableId.getTypeMirror()	Returns the type of the declared variable.
@NonNull JTypeMirror	FunctionalExpression.getTypeMirror()	Returns the type of the functional interface.
default @NonNull JTypeMirror	TypeNode.getTypeMirror()	Returns the compile-time type of this node.
JTypeMirror	TypeNode.getTypeMirror(TypingContext typing)
static @Nullable JTypeMirror	InternalApiBridge.getTypeMirrorInternal(TypeNode node)

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

Modifier and Type	Method	Description
static void	InternalApiBridge.setTypeMirrorInternal(TypeNode node, JTypeMirror inferred)

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

Methods in net.sourceforge.pmd.lang.java.symbols that return JTypeMirror

Modifier and Type	Method	Description
JTypeMirror	JTypeParameterSymbol.computeUpperBound()	Returns the upper bound of this type variable.
@Nullable JTypeMirror	JExecutableSymbol.getAnnotatedReceiverType(Substitution subst)	Return the receiver type with all type annotations, when viewed under the given substitution.
default JTypeMirror	JConstructorSymbol.getReturnType(Substitution subst)
default JTypeMirror	JExecutableSymbol.getReturnType(Substitution subst)	Return the return type under the given substitution.
JTypeMirror	JRecordComponentSymbol.getTypeMirror(Substitution substitution)	Returns the type of this value, under the given substitution.
JTypeMirror	JVariableSymbol.getTypeMirror(Substitution subst)	Returns the type of this value, under the given substitution.

Methods in net.sourceforge.pmd.lang.java.symbols that return types with arguments of type JTypeMirror

Modifier and Type	Method	Description
List<JTypeMirror>	JExecutableSymbol.getFormalParameterTypes(Substitution subst)	Returns the types of the formal parameters, when viewed under the given substitution.
List<JTypeMirror>	JExecutableSymbol.getThrownExceptionTypes(Substitution subst)	Returns the types of the thrown exceptions, when viewed under the given substitution.

Uses of JTypeMirror in net.sourceforge.pmd.lang.java.symbols.table

Methods in net.sourceforge.pmd.lang.java.symbols.table that return types with arguments of type JTypeMirror

Modifier and Type	Method	Description
ShadowChain<JTypeMirror,ScopeInfo>	JSymbolTable.types()	The chain of tables tracking type names that are in scope here (classes, type params, but not eg primitive types).

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

Subinterfaces of JTypeMirror in net.sourceforge.pmd.lang.java.types

Modifier and Type	Interface	Description
interface	JClassType	Represents class and interface types, including functional interface types.
interface	JTypeVar	The type of a type variable.
interface	JWildcardType	Represents a wildcard type.
interface	SubstVar	Common supertype for JTypeVar and InferenceVar, the two kinds of types that can be substituted in types.

Classes in net.sourceforge.pmd.lang.java.types that implement JTypeMirror

Modifier and Type	Class	Description
class	JArrayType	An array type (1 dimension).
class	JIntersectionType	An intersection type.
class	JPrimitiveType	Mirror a primitive types.

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

Modifier and Type	Field	Description
JTypeMirror	TypeSystem.ERROR	A constant to represent a typing error.
JTypeMirror	TypeSystem.NO_TYPE	A constant to represent the normal absence of a type.
JTypeMirror	TypeSystem.NULL_TYPE	The bottom type of the reference type system.
JTypeMirror	TypeSystem.UNKNOWN	A constant to represent an unresolved type.

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

Modifier and Type	Method	Description
default JTypeMirror	JTypeMirror.addAnnotation(@NonNull SymbolicValue.SymAnnot newAnnot)	Returns a type mirror that is equal to this instance but has one more type annotation.
@NonNull JTypeMirror	Substitution.apply(@NonNull SubstVar var)	Returns the type with which the given variable should be replaced.
@Nullable JTypeMirror	TypingContext.apply(JVariableSymbol var)
JTypeMirror	TypeSystem.arrayType(@NonNull JTypeMirror element, int numDimensions)	Creates a new array type from an arbitrary element type.
default @NonNull JTypeMirror	JWildcardType.asLowerBound()	Returns the lower bound, or the bottom type if this is an "extends" wildcard.
static @Nullable JTypeMirror	TypeOps.asSuper(@NonNull JTypeMirror t, @NonNull JClassSymbol s)
default @NonNull JTypeMirror	JWildcardType.asUpperBound()	Returns the upper bound, or Object if this is a "super" wildcard.
static JTypeMirror	TypeConversion.binaryNumericPromotion(JTypeMirror t, JTypeMirror s)	JLS§5.6.2 https://docs.oracle.com/javase/specs/jls/se9/html/jls-5.html#jls-5.6.2 Binary numeric promotion is performed on the operands of certain operators: The multiplicative operators *, /, and % (§15.17) The addition and subtraction operators for numeric types + and - (§15.18.2) The numerical comparison operators <, <=, >, and >= (§15.20.1) The numerical equality operators == and !
default JTypeMirror	JTypeMirror.box()	Returns the primitive wrapper type of this type, if this is a primitive type.
static JTypeMirror	TypeConversion.capture(JTypeMirror t)	Perform capture conversion on the type t.
JTypeMirror	TypeSystem.declaration(@Nullable JClassSymbol klass)	Like TypeSystem.typeOf(JTypeDeclSymbol, boolean), defaulting the erased parameter to false.
static JTypeMirror	TypesFromReflection.fromReflect(Type reflected, TypeSystem ts)
static @Nullable JTypeMirror	TypesFromReflection.fromReflect(TypeSystem ts, @NonNull Type reflected, LexicalScope lexicalScope, Substitution subst)	Builds a type from reflection.
static JTypeMirror	TypesFromReflection.fromReflect(org.apache.commons.lang3.reflect.Typed<?> reflected, TypeSystem ts)	Builds a type from reflection.
JTypeMirror	JMethodSig.getAnnotatedReceiverType()	Return the type of this in the body of the method.
static @Nullable JTypeMirror	TypeOps.getArrayComponent(@Nullable JTypeMirror t)
default @Nullable JTypeMirror	JTypeMirror.getAsSuper(@NonNull JClassSymbol symbol)	Returns the most specific declared supertype of this type whose erasure is the same as that of the parameter.
@NonNull JTypeMirror	JWildcardType.getBound()	Returns the bound.
JTypeMirror	JArrayType.getComponentType()	Gets the component type of this array.
JTypeMirror	JMethodSig.getDeclaringType()	Return the type that declares this method.
JTypeMirror	JVariableSig.getDeclaringType()	This is the substituted type.
JTypeMirror	JArrayType.getElementType()	Gets the element type of this array.
JTypeMirror	JIntersectionType.getErasure()
JTypeMirror	JPrimitiveType.getErasure()
default JTypeMirror	JTypeMirror.getErasure()	Returns the erasure of this type.
default JTypeMirror	JWildcardType.getErasure()	This is implemented for convenience.
@NonNull JTypeMirror	JTypeVar.getLowerBound()	Gets the lower bound.
static JTypeMirror	TypeOps.getMemberSource(JTypeMirror t)	Methods and fields of a type variable come from its upper bound, which must be captured.
@NonNull JTypeMirror	JIntersectionType.getPrimaryBound()	The primary bound of this intersection, which may be a type variable, array type, or class type (not an interface).
JTypeMirror	JMethodSig.getReturnType()	Return the result type of the method.
JTypeMirror	JVariableSig.getTypeMirror()	Returns the type given to the symbol in the particular scope this signature is valid in.
@Nullable JTypeMirror	OverloadSelectionResult.getTypeToSearch()	Return the type from which the search for accessible candidates for overload resolution starts.
@NonNull JTypeMirror	JTypeVar.getUpperBound()	Gets the upper bound.
JTypeMirror	TypeSystem.glb(Collection<? extends JTypeMirror> types)	Returns the greatest lower bound of the given set of types.
default JTypeMirror	JMethodSig.ithFormalParam(int i, boolean varargs)	Returns the type of the i-th formal parameter of the method.
default JTypeMirror	OverloadSelectionResult.ithFormalParam(int i)	Returns the type of the i-th formal parameter of the method.
static @Nullable JTypeMirror	TypesFromReflection.loadType(TypeSystem ctr, String className)	Load a class.
static @Nullable JTypeMirror	TypesFromReflection.loadType(TypeSystem ctr, String className, net.sourceforge.pmd.lang.java.symbols.internal.UnresolvedClassStore unresolvedStore)	Load a class.
JTypeMirror	TypeSystem.lub(Collection<? extends JTypeMirror> types)	The least upper bound, or "lub", of a set of reference types is a shared supertype that is more specific than any other shared supertype (that is, no other shared supertype is a subtype of the least upper bound).
@NonNull JTypeMirror	TypeSystem.parameterise(@NonNull JClassSymbol klass, @NonNull List<? extends JTypeMirror> typeArgs)	Produce a parameterized type with the given symbol and type arguments.
static JTypeMirror	TypeOps.projectUpwards(JTypeMirror t)	Returns the upwards projection of the given type, with respect to the set of capture variables that are found in it.
JTypeMirror	TypeSystem.rawType(@Nullable JTypeDeclSymbol klass)	Like TypeSystem.typeOf(JTypeDeclSymbol, boolean), defaulting the erased parameter to true.
JTypeMirror	JPrimitiveType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JTypeMirror	JTypeMirror.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
default JTypeMirror	SubstVar.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
static JTypeMirror	TypeOps.subst(@Nullable JTypeMirror type, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Replace the type variables occurring in the given type to their image by the given function.
JTypeMirror	TypeSystem.typeOf(@Nullable JTypeDeclSymbol symbol, boolean isErased)	Returns a type mirror for the given symbol.
static JTypeMirror	TypeConversion.unaryNumericPromotion(JTypeMirror t)	Performs Unary numeric promotion (JLS§5.6.1).
default JTypeMirror	JTypeMirror.unbox()	Returns the unboxed version of this type.
JTypeMirror	JIntersectionType.withAnnotations(org.pcollections.PSet<SymbolicValue.SymAnnot> newTypeAnnots)
JTypeMirror	JPrimitiveType.withAnnotations(org.pcollections.PSet<SymbolicValue.SymAnnot> newTypeAnnots)
JTypeMirror	JTypeMirror.withAnnotations(org.pcollections.PSet<SymbolicValue.SymAnnot> newTypeAnnots)	Returns a type mirror that is equal to this instance but has different type annotations.

Methods in net.sourceforge.pmd.lang.java.types that return types with arguments of type JTypeMirror

Modifier and Type	Method	Description
static List<JTypeMirror>	TypeOps.asList(JTypeMirror t)	Returns the components of t if it is an intersection type, otherwise returns t.
static List<JTypeMirror>	TypeOps.erase(Collection<? extends JTypeMirror> ts)	Returns a list with the erasures of the given types, may be unmodifiable.
List<JTypeMirror>	JIntersectionType.getComponents()	Returns the list of components.
List<JTypeMirror>	JMethodSig.getFormalParameters()	Return the types of the formal parameters.
Set<JTypeMirror>	JPrimitiveType.getSuperTypeSet()
default Set<JTypeMirror>	JTypeMirror.getSuperTypeSet()	Returns the set of (nominal) supertypes of this type.
static Set<JTypeMirror>	TypeOps.getSuperTypeSet(@NonNull JTypeMirror t)	Returns the set of all supertypes of the given type.
List<JTypeMirror>	JMethodSig.getThrownExceptions()	Return the list of thrown exception types.
List<JTypeMirror>	JClassType.getTypeArgs()	A specific instantiation of the type variables in JClassType.getFormalTypeParams().
static Set<JTypeMirror>	TypeOps.mostSpecific(Collection<? extends JTypeMirror> set)	Returns a subset S of the parameter, whose components have no strict supertype in S.
static List<JTypeMirror>	TypeOps.subst(List<? extends JTypeMirror> ts, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Substitute on a list of types.

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

Modifier and Type	Method	Description
static boolean	TypeOps.areRelated(@NonNull JTypeMirror t, JTypeMirror s)	Returns true if both types have a common supertype that is not Object.
JArrayType	TypeSystem.arrayType(@NonNull JTypeMirror component)	Like TypeSystem.arrayType(JTypeMirror, int), with one dimension.
JTypeMirror	TypeSystem.arrayType(@NonNull JTypeMirror element, int numDimensions)	Creates a new array type from an arbitrary element type.
static @Nullable JClassType	TypeOps.asClassType(@Nullable JTypeMirror t)	Returns t if it is a class or interface type.
static List<JTypeMirror>	TypeOps.asList(JTypeMirror t)	Returns the components of t if it is an intersection type, otherwise returns t.
static @Nullable JClassType	TypeOps.asOuterSuper(JTypeMirror t, JClassSymbol sym)	Return the base type of t or any of its outer types that starts with the given type.
static @Nullable JTypeMirror	TypeOps.asSuper(@NonNull JTypeMirror t, @NonNull JClassSymbol s)
static JTypeMirror	TypeConversion.binaryNumericPromotion(JTypeMirror t, JTypeMirror s)	JLS§5.6.2 https://docs.oracle.com/javase/specs/jls/se9/html/jls-5.html#jls-5.6.2 Binary numeric promotion is performed on the operands of certain operators: The multiplicative operators *, /, and % (§15.17) The addition and subtraction operators for numeric types + and - (§15.18.2) The numerical comparison operators <, <=, >, and >= (§15.20.1) The numerical equality operators == and !
static JTypeMirror	TypeConversion.capture(JTypeMirror t)	Perform capture conversion on the type t.
JTypeVar	JTypeVar.cloneWithBounds(JTypeMirror lower, JTypeMirror upper)
static @Nullable JMethodSig	TypeOps.findFunctionalInterfaceMethod(@Nullable JTypeMirror type)	Finds the method of the given type that can be overridden as a lambda expression.
static @Nullable JTypeMirror	TypeOps.getArrayComponent(@Nullable JTypeMirror t)
static NameResolver<JVariableSig.FieldSig>	TypeOps.getMemberFieldResolver(JTypeMirror c, @NonNull String accessPackageName, @Nullable JClassSymbol access, String name)
static JTypeMirror	TypeOps.getMemberSource(JTypeMirror t)	Methods and fields of a type variable come from its upper bound, which must be captured.
static List<JMethodSig>	TypeOps.getMethodsOf(JTypeMirror type, String name, boolean staticOnly, @NonNull JClassSymbol enclosing)
static Set<JTypeMirror>	TypeOps.getSuperTypeSet(@NonNull JTypeMirror t)	Returns the set of all supertypes of the given type.
static boolean	TypeOps.hasUnresolvedSymbol(@Nullable JTypeMirror t)	Return true if the argument is a JClassType with an unresolved symbol.
static boolean	TypeOps.hasUnresolvedSymbolOrArray(@Nullable JTypeMirror t)	Return true if the argument is a JClassType with an unresolved symbol, or an array whose element type has an unresolved symbol.
static boolean	TypeTestUtil.isA(@NonNull Class<?> clazz, @Nullable JTypeMirror type)	Checks whether the given type of the node is a subtype of the first argument.
static boolean	TypeTestUtil.isA(@NonNull String canonicalName, @Nullable JTypeMirror thisType)
static boolean	TypeTestUtil.isA(@NonNull JTypeMirror t1, @Nullable TypeNode t2)
static boolean	TypeTestUtil.isA(@Nullable JTypeMirror t1, @NonNull JTypeMirror t2)	Checks whether the second type is a subtype of the first.
static TypeOps.Convertibility	TypeOps.isConvertible(@NonNull JTypeMirror t, @NonNull JTypeMirror s)
static TypeOps.Convertibility	TypeOps.isConvertible(@NonNull JTypeMirror t, @NonNull JTypeMirror s, boolean capture)	Deprecated.
static boolean	TypeConversion.isConvertibleInCastContext(JTypeMirror t, JTypeMirror s)	Is t convertible to s by boxing/unboxing conversion?
static TypeOps.Convertibility	TypeOps.isConvertibleNoCapture(@NonNull JTypeMirror t, @NonNull JTypeMirror s)
static TypeOps.Convertibility	TypeOps.isConvertiblePure(JTypeMirror t, JTypeMirror s)
default TypeOps.Convertibility	JTypeMirror.isConvertibleTo(@NonNull JTypeMirror other)	Tests this type's convertibility to the other type.
static boolean	TypeConversion.isConvertibleUsingBoxing(JTypeMirror t, JTypeMirror s)	Is t convertible to s by boxing/unboxing/widening conversion?
static boolean	TypeTestUtil.isExactlyA(@NonNull Class<?> klass, @Nullable JTypeMirror type)
static boolean	TypeOps.isSameType(JTypeMirror t, JTypeMirror s)	Return true if t and s are the same type, ignoring any type annotations appearing within them.
static boolean	InternalApiBridge.isSameTypeInInference(JTypeMirror t, JTypeMirror s)
static boolean	TypeOps.isSameTypeWithSameAnnotations(JTypeMirror t, JTypeMirror s)	Return true if t and s are the same type, considering any type annotations appearing within them.
static boolean	TypeOps.isSpecialUnresolved(@NonNull JTypeMirror t)	Returns true if the type is TypeSystem.UNKNOWN, or TypeSystem.ERROR.
static boolean	TypeOps.isSpecialUnresolvedOrArray(@Nullable JTypeMirror t)	Returns true if the type is TypeSystem.UNKNOWN, or TypeSystem.ERROR, or an array of such types.
static boolean	TypeOps.isStrictSubtype(@NonNull JTypeMirror t, @NonNull JTypeMirror s)
default boolean	JTypeMirror.isSubtypeOf(@NonNull JTypeMirror other)	Returns true if this type is the same type or a subtype of the given type.
static boolean	TypeOps.isUnresolved(@NonNull JTypeMirror t)	Returns true if the type is TypeSystem.UNKNOWN, TypeSystem.ERROR, or a class type with unresolved symbol.
static boolean	TypeOps.isUnresolvedOrArray(@NonNull JTypeMirror t)	Returns true if the type is TypeSystem.UNKNOWN, or TypeSystem.ERROR, or a class type with unresolved symbol, or an array of such types.
static boolean	TypeOps.isUnresolvedOrNull(@Nullable JTypeMirror t)
static boolean	TypeConversion.isWilcardParameterized(JTypeMirror t)	Returns true if the type is a parameterized class type, which has wildcards as type arguments.
static boolean	TypeOps.overrides(JMethodSig m1, JMethodSig m2, JTypeMirror origin)	Returns true if m1 overrides m2, when both are view as members of class origin. m1 and m2 may be declared in supertypes of origin, possibly unrelated (default methods), which is why we need that third parameter.
Substitution	Substitution.plus(SubstVar from, JTypeMirror to)	Maps the given variable to the given type.
static JTypeMirror	TypeOps.projectUpwards(JTypeMirror t)	Returns the upwards projection of the given type, with respect to the set of capture variables that are found in it.
JVariableSig.FieldSig	TypeSystem.sigOf(JTypeMirror decl, JFieldSymbol fieldSym)
static JTypeMirror	TypeOps.subst(@Nullable JTypeMirror type, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Replace the type variables occurring in the given type to their image by the given function.
static JTypeMirror	TypeConversion.unaryNumericPromotion(JTypeMirror t)	Performs Unary numeric promotion (JLS§5.6.1).
R	JTypeVisitor.visit(JTypeMirror t, P p)
default R	JTypeVisitor.visitNullType(JTypeMirror t, P p)
default R	JTypeVisitor.visitSentinel(JTypeMirror t, P p)	Visit a sentinel type.
JWildcardType	TypeSystem.wildcard(boolean isUpperBound, @NonNull JTypeMirror bound)	Builds a wildcard type with a single bound.
JTypeVar	JTypeVar.withUpperBound(@NonNull JTypeMirror newUB)	Deprecated. Since 7.12.0.

Method parameters in net.sourceforge.pmd.lang.java.types with type arguments of type JTypeMirror

Modifier and Type	Method	Description
static boolean	TypeOps.allArgsAreUnboundedWildcards(List<JTypeMirror> sargs)
TypingContext	TypingContext.andThen(Map<JVariableSymbol,@Nullable JTypeMirror> map)	Return a new typing context which uses this one as a parent.
static boolean	TypeOps.areSameTypes(List<JTypeMirror> ts, List<JTypeMirror> ss)
static boolean	TypeOps.areSameTypesInInference(List<JTypeMirror> ts, List<JTypeMirror> ss)
static List<JTypeMirror>	TypeOps.erase(Collection<? extends JTypeMirror> ts)	Returns a list with the erasures of the given types, may be unmodifiable.
JTypeMirror	TypeSystem.glb(Collection<? extends JTypeMirror> types)	Returns the greatest lower bound of the given set of types.
JTypeMirror	TypeSystem.lub(Collection<? extends JTypeMirror> types)	The least upper bound, or "lub", of a set of reference types is a shared supertype that is more specific than any other shared supertype (that is, no other shared supertype is a subtype of the least upper bound).
static Set<JTypeMirror>	TypeOps.mostSpecific(Collection<? extends JTypeMirror> set)	Returns a subset S of the parameter, whose components have no strict supertype in S.
@NonNull JTypeMirror	TypeSystem.parameterise(@NonNull JClassSymbol klass, @NonNull List<? extends JTypeMirror> typeArgs)	Produce a parameterized type with the given symbol and type arguments.
default JClassType	JClassType.selectInner(JClassSymbol symbol, List<? extends JTypeMirror> targs)	Select an inner type.
JClassType	JClassType.selectInner(JClassSymbol symbol, List<? extends JTypeMirror> targs, org.pcollections.PSet<SymbolicValue.SymAnnot> typeAnnotations)	Select an inner type, with new type annotations.
JArrayType	JArrayType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
default JClassType	JClassType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> fun)
JIntersectionType	JIntersectionType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JMethodSig	JMethodSig.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JTypeMirror	JPrimitiveType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JTypeMirror	JTypeMirror.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JTypeVisitable	JTypeVisitable.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Replace the type variables occurring in the given type by their image by the given function.
JWildcardType	JWildcardType.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
default JTypeMirror	SubstVar.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
static JTypeMirror	TypeOps.subst(@Nullable JTypeMirror type, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Replace the type variables occurring in the given type to their image by the given function.
static List<JTypeMirror>	TypeOps.subst(List<? extends JTypeMirror> ts, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Substitute on a list of types.
static List<JTypeMirror>	TypeOps.subst(List<? extends JTypeMirror> ts, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)	Substitute on a list of types.
static List<JClassType>	TypeOps.substClasses(List<JClassType> ts, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JTypeVar	JTypeVar.substInBounds(Function<? super SubstVar,? extends @NonNull JTypeMirror> substitution)	Like SubstVar.subst(Function), except this typevar is not the subject of the substitution, only its bounds.
static List<JTypeVar>	TypeOps.substInBoundsOnly(List<JTypeVar> ts, Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
JClassType	JClassType.withTypeArguments(List<? extends JTypeMirror> args)	Returns another class type which has the same erasure, but new type arguments.

Uses of JTypeMirror in net.sourceforge.pmd.lang.java.types.ast

Methods in net.sourceforge.pmd.lang.java.types.ast that return JTypeMirror

Modifier and Type	Method	Description
@Nullable JTypeMirror	ExprContext.getPolyTargetType(boolean lambdaOrMethodRef)	Returns the target type bestowed by this context ON A POLY EXPRESSION.
abstract @Nullable JTypeMirror	ExprContext.getTargetType()	Returns the target type, or null if there is none.

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

Modifier and Type	Method	Description
boolean	ExprContext.acceptsType(@NonNull JTypeMirror type)	Returns true if the given type is compatible with this context implicitly (without cast).
static ExprContext	InternalApiBridge.newOtherContext(@NonNull JTypeMirror targetType, ExprContext.ExprContextKind kind)