Package org.checkerframework.checker.signature.qual

Annotation Types Summary

Annotation Type	Description
ArrayWithoutPackage	An identifier or primitive type, followed by any number of array square brackets.
BinaryName	Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameOrPrimitiveType	Represents a primitive type name or a binary name.
BinaryNameWithoutPackage	Represents a string that is a BinaryName, an InternalForm, and a ClassGetName.
CanonicalName	Canonical names have the same syntactic form as fully-qualified names.
CanonicalNameAndBinaryName	This is a string that is a valid canonical name and a valid binary name.
CanonicalNameOrEmpty	Either a CanonicalName or the empty string.
CanonicalNameOrPrimitiveType	This is a string that is a valid canonical name and a valid binary name or primitive type.
ClassGetName	The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName	The format produced by the Class.getSimpleName() method.
DotSeparatedIdentifiers	This is a string that is a valid fully qualified name and a valid binary name.
DotSeparatedIdentifiersOrPrimitiveType	This is a string that is a valid fully qualified name and a valid binary name or primitive type.
FieldDescriptor	Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitive	Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorWithoutPackage	Represents a field descriptor for a primitive or for an array whose base type is primitive or in the unnamed package.
FqBinaryName	An extension of binary name format to represent primitives and arrays.
FullyQualifiedName	A sequence of dot-separated identifiers, followed by any number of array square brackets.
Identifier	An identifier.
IdentifierOrPrimitiveType	An identifier or a primitive type.
InternalForm	The syntax for binary names that appears in a class file, as defined in the JVM Specification, section 4.2.
MethodDescriptor	Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.3.3.
PolySignature	A polymorphic qualifier for the Signature type system.
PrimitiveType	A primitive type.
SignatureBottom	The bottom type in the Signature String type system.
SignatureUnknown	Top qualifier in the type hierarchy.