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

Support for compile-time type resolution on the AST.

Interface Summary

Interface	Description
JClassType	Represents class and interface types, including functional interface types.
JMethodSig	Represents the signature of methods and constructors.
JTypeMirror	Type mirrors represent Java types.
JTypeVar	The type of a type variable.
JTypeVisitable	Common supertype for JMethodSig and JTypeMirror.
JTypeVisitor<R,P>	Visits a type.
JWildcardType	Represents a wildcard type.
OverloadSelectionResult	Information about the overload-resolution for a specific expression.
SubstVar	Common supertype for JTypeVar and InferenceVar, the two kinds of types that can be substituted in types.

Class Summary

Class	Description
InvocationMatcher	Matches a method or constructor call against a particular overload.
InvocationMatcher.CompoundInvocationMatcher	A compound of several matchers (logical OR).
JArrayType	An array type (1 dimension).
JIntersectionType	An intersection type.
JPrimitiveType	Mirror a primitive types.
JVariableSig	Represents a value symbol viewed in the context of a particular program point (ie under a particular Substitution).
JVariableSig.FieldSig	A field signature.
LexicalScope	An index of type variables by name.
Substitution	A function from SubstVars to types.
TypeConversion	Utility class for type conversions, as defined in JLS§5.
TypeOps	Common operations on types.
TypePrettyPrint	Pretty-printing methods to display types.
TypePrettyPrint.TypePrettyPrinter	Options to pretty print a type.
TypesFromReflection	Builds type mirrors from Type instances.
TypeSystem	Root context object for type analysis.
TypeTestUtil	Public utilities to test the type of nodes.
TypingContext	A mapping of variables to types.

Enum Summary

Enum	Description
JPrimitiveType.PrimitiveTypeKind
TypeOps.Convertibility	A result for a convertibility check.