Package org.checkerframework.checker.signature.qual
package org.checkerframework.checker.signature.qual
-
Annotation InterfacesClassDescriptionAn identifier or primitive type, followed by any number of array square brackets.Represents a binary name as defined in the Java Language Specification, section 13.1.Represents a primitive type name or a
binary name.Canonical names have the same syntactic form asfully-qualified names.This is a string that is a valid canonical name and a valid binary name.Either aCanonicalNameor the empty string.This is a string that is a valid canonical name and a valid binary name or primitive type.The type representation used by theClass.getName(),Class.forName(String), andClass.forName(String, boolean, ClassLoader)methods.The format produced by theClass.getSimpleName()method.This is a string that is a valid fully qualified name and a valid binary name.This is a string that is a valid fully qualified name and a valid binary name or primitive type.Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.Represents afield descriptorfor a primitive or for an array whose base type is primitive or in the unnamed package.An extension of binary name format to represent primitives and arrays.A sequence of dot-separated identifiers, followed by any number of array square brackets.An identifier.An identifier or a primitive type.The syntax for binary names that appears in a class file, as defined in the JVM Specification, section 4.2.Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.3.3.A polymorphic qualifier for the Signature type system.A primitive type.The bottom type in the Signature String type system.Top qualifier in the type hierarchy.