Provides classes and predicates for working with Java types.
Types can be primitive types (
PrimitiveType), array types (
Array), or reference
RefType), where the latter are either classes (
Class) or interfaces
Reference types can be at the top level (
TopLevelType) or nested (
Classes and interfaces can also be local (
LocalClass) or anonymous (
Enumerated types (
EnumType) and records (
Record) are special kinds of classes.
Provides classes and predicates for working with standard classes and methods from the JDK.
Provides classes and predicates for working with members of Java classes and interfaces, that is, methods, constructors, fields and nested types.
Provides classes and predicates for working with Java modifiers.
Holds if type
Holds if there is a common (reflexive, transitive) subtype of the erased types
Holds if reference type
Is there a common (reflexive, transitive) subtype of the erasures of types
An anonymous class.
An array type.
A boolean type, which may be either a primitive or a boxed type.
A boxed type.
A character type, which may be either a primitive or a boxed type.
A class declaration.
A class or interface.
An enum constant is a member of a enum type.
An enumerated type.
A floating point type, which may be either a primitive or a boxed type.
A functional interface is an interface that has just one abstract method (aside from the methods of Object), and thus represents a single function contract.
An inner class is a nested class that is neither explicitly nor implicitly declared static. This includes anonymous and local classes.
An integral type, which may be either a primitive or a boxed type. This includes the types
An intersection type.
A local class.
A local class or interface.
A nested type which is a direct member of the enclosing type, that is, neither an anonymous nor local class.
A class declared within another type.
A nested type is a type declared within another type.
The type of the
A numeric or character type, which may be either a primitive or a boxed type.
A primitive type.
A record declaration.
A common super-class for various kinds of reference types, including classes, interfaces, type parameters and arrays.
A type that is the same as its source declaration.
A top-level class.
A top-level type.
A common abstraction for all Java types, including primitive, class, interface and array types.