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	Prototype of a new symbol resolution framework that inter-operates cleanly with type resolution.
net.sourceforge.pmd.lang.java.symbols.internal.ast
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
net.sourceforge.pmd.lang.java.types.internal.infer

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	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.
JTypeMirror	JMethodSymbol.getReturnType(Substitution subst)	Returns the return type 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.internal.ast

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

Modifier and Type	Method	Description
JTypeMirror	AstLocalVarSym.getTypeMirror(Substitution subst)

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 != (§15.21.1) The integer bitwise operators &, ^, and | (§15.22.1) In certain cases, the conditional operator ? : (§15.25)
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.
@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.
@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.
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 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 != (§15.21.1) The integer bitwise operators &, ^, and | (§15.22.1) In certain cases, the conditional operator ? : (§15.25)
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 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 or a JArrayType whose element type matches the first criterion.
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)	Returns whether if T <: S, ie T is a subtype of S.
static boolean	TypeConversion.isConvertibleInCastContext(JTypeMirror t, JTypeMirror s)	Is t convertible to s by boxing/unboxing conversion? Only t can undergo conversion.
static TypeOps.Convertibility	TypeOps.isConvertibleNoCapture(@NonNull JTypeMirror t, @NonNull 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? Only t can undergo 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	TypeOps.isSameTypeInInference(JTypeMirror t, JTypeMirror s)	Return true if t and s are the same type.
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)
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 its symbol is unresolved.
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.
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)	Return a new type variable with the same underlying symbol or capture variable, but the upper bound is now the given type.

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 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.
JTypeMirror	LazyTypeResolver.visit(ASTAmbiguousName node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTAnnotation node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTArrayAccess node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTArrayAllocation node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTArrayInitializer node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTAssignmentExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTBooleanLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTCastExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTCharLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTClassLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTConditionalExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTConstructorCall node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTEnumConstant node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTExplicitConstructorInvocation node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTFieldAccess node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTFormalParameter node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTInfixExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTLambdaExpression node, TypingContext ctx)
@NonNull JTypeMirror	LazyTypeResolver.visit(ASTLambdaParameter node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTMethodCall node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTMethodReference node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTNullLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTNumericLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTPatternExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTStringLiteral node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTSuperExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTSwitchExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTThisExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTTypeParameter node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTUnaryExpression node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTVariableAccess node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTVariableDeclaratorId node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visit(ASTVoidType node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visitJavaNode(JavaNode node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visitType(ASTType node, TypingContext ctx)
JTypeMirror	LazyTypeResolver.visitTypeDecl(ASTAnyTypeDeclaration node, TypingContext ctx)

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).

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

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

Modifier and Type	Class	Description
class	InferenceVar	Represents an inference variable.

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

Modifier and Type	Method	Description
default @Nullable JTypeMirror	ExprMirror.InvocationMirror.getErasedReceiverType()	Returns the erased receiver type.
@Nullable JTypeMirror	ExprMirror.getInferredType()	Return the value set in the last call to ExprMirror.setInferredType(JTypeMirror).
@Nullable JTypeMirror	ExprMirror.MethodRefMirror.getLhsIfType()	Returns the type of the left hand-side, if it is not an expression.
@NonNull JTypeMirror	ExprMirror.CtorInvocationMirror.getNewType()	Return the type name being instantiated.
@Nullable JTypeMirror	ExprMirror.InvocationMirror.getReceiverType()	Returns the erased receiver type.
@Nullable JTypeMirror	ExprMirror.getStandaloneType()	If this expression is of a standalone form, returns the type of the expression.
default @Nullable JTypeMirror	ExprMirror.PolyExprMirror.getStandaloneType()
JTypeMirror	ExprMirror.MethodRefMirror.getTypeToSearch()	Returns the type to search as defined by the first section of JLS§15.13.1 , except it may also return an array type (the jls makes an exception for it, while we don't).
JTypeMirror	ExprMirror.InvocationMirror.MethodCtDecl.ithFormalParam(int i)
JTypeMirror	InferenceVar.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)
default @Nullable JTypeMirror	ExprMirror.PolyExprMirror.unresolvedType()	If inference failed to determine the type of this node, returns a fallback for it.
JTypeMirror	InferenceVar.withAnnotations(org.pcollections.PSet<SymbolicValue.SymAnnot> newTypeAnnots)

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

Modifier and Type	Method	Description
@Nullable List<JTypeMirror>	ExprMirror.LambdaExprMirror.getExplicitParameterTypes()	Returns the types of the explicit parameters.
List<JTypeMirror>	ExprMirror.InvocationMirror.getExplicitTypeArguments()	Returns the explicit type arguments, eg in Arrays.<String>asList("q"), or new <String> Foo("q").
@NonNull List<JTypeMirror>	ExprMirror.MethodRefMirror.getExplicitTypeArguments()	Returns the explicit type arguments (the ones to the right of the "::").

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

Modifier and Type	Method	Description
void	InferenceVar.addBound(InferenceVar.BoundKind kind, JTypeMirror type)	Adds a new bound on this variable.
void	InferenceVar.addPrimaryBound(InferenceVar.BoundKind kind, JTypeMirror type)
default void	TypeInferenceLogger.boundAdded(net.sourceforge.pmd.lang.java.types.internal.infer.InferenceContext ctx, InferenceVar var, InferenceVar.BoundKind kind, JTypeMirror bound, boolean isSubstitution)
void	TypeInferenceLogger.VerboseLogger.boundAdded(net.sourceforge.pmd.lang.java.types.internal.infer.InferenceContext ctx, InferenceVar ivar, InferenceVar.BoundKind kind, JTypeMirror bound, boolean isSubstitution)
static Collector<JMethodSig,?,List<JMethodSig>>	OverloadSet.collectMostSpecific(JTypeMirror commonSubtype)	Returns a collector that can apply to a stream of method signatures, and that collects them into a set of method, where none override one another.
default void	ExprMirror.finishStandaloneInference(@NonNull JTypeMirror standaloneType)	For a standalone expr, finish type inference by computing properties that are guarded by the type res lock.
String	InferenceVar.BoundKind.format(JTypeMirror ivar, JTypeMirror bound)
default void	TypeInferenceLogger.functionalExprNeedsInvocationCtx(JTypeMirror targetT, ExprMirror expr)
void	TypeInferenceLogger.VerboseLogger.functionalExprNeedsInvocationCtx(JTypeMirror targetT, ExprMirror expr)
Iterable<JMethodSig>	ExprMirror.CtorInvocationMirror.getAccessibleCandidates(JTypeMirror newType)	Returns the accessible candidates for this node, as if ExprMirror.CtorInvocationMirror.getNewType() returned the type passed as parameter.
static ExprMirror.TypeSpecies	ExprMirror.TypeSpecies.getSpecies(JTypeMirror t)
boolean	InferenceVar.isEquivalentTo(JTypeMirror t)
boolean	InferenceVar.isSubtypeNoSideEffect(@NonNull JTypeMirror other)
boolean	InferenceVar.isSupertypeNoSideEffect(@NonNull JTypeMirror other)
default void	TypeInferenceLogger.ivarInstantiated(net.sourceforge.pmd.lang.java.types.internal.infer.InferenceContext ctx, InferenceVar var, JTypeMirror inst)
void	TypeInferenceLogger.VerboseLogger.ivarInstantiated(net.sourceforge.pmd.lang.java.types.internal.infer.InferenceContext ctx, InferenceVar var, JTypeMirror inst)
MethodCallSite	Infer.newCallSite(ExprMirror.InvocationMirror expr, @Nullable JTypeMirror expectedType)
PolySite<ExprMirror.FunctionalExprMirror>	Infer.newFunctionalSite(ExprMirror.FunctionalExprMirror mirror, @Nullable JTypeMirror expectedType)
protected @NonNull String	TypeInferenceLogger.SimpleLogger.ppBound(InferenceVar ivar, InferenceVar.BoundKind kind, JTypeMirror bound)
void	ExprMirror.FunctionalExprMirror.setInferredType(@Nullable JTypeMirror mirror)	For a method ref or lambda, this is the type of the functional interface.
void	ExprMirror.setInferredType(JTypeMirror mirror)	Set the type of the underlying ast node.
default void	TypeInferenceLogger.startArg(int i, ExprMirror expr, JTypeMirror formal)
void	TypeInferenceLogger.VerboseLogger.startArg(int i, ExprMirror expr, JTypeMirror formalType)

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

Modifier and Type	Method	Description
JTypeMirror	InferenceVar.subst(Function<? super SubstVar,? extends @NonNull JTypeMirror> subst)