Checker Qual 3.38.0 · org.checkerframework.checker.signature.qual

Annotation Summary

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

Package org.checkerframework.checker.signature.qual

Annotation Summary