Name | Description | Type | Package | Framework |
BinaryName | Represents a binary name as defined in the Java Language Specification, section 13. | Class | org.checkerframework.checker.signature.qual | Checker |
BinaryNameForNonArray | Class | org.checkerframework.checker.signature.qual | Checker | |
BinaryNameForNonArrayInUnnamedPackage | Represents a binary name as defined in the Java Language Specification, section 13. | Class | org.checkerframework.checker.signature.qual | Checker |
BinaryNameInUnnamedPackage | Represents a string that is both a BinaryName and an InternalForm. | Class | org.checkerframework.checker.signature.qual | Checker |
ClassGetName | The type representation used by the Class. | Class | org.checkerframework.checker.signature.qual | Checker |
ClassGetSimpleName | Class | org.checkerframework.checker.signature.qual | Checker | |
FieldDescriptor | Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
FieldDescriptorForArray | Represents a field descriptor (JVM type format) as defined in the Java | Class | org.checkerframework.checker.signature.qual | Checker |
FullyQualifiedName | Represents a fully-qualified name as defined in the Java Language Specification, section 6. | Class | org.checkerframework.checker.signature.qual | Checker |
Identifier | Class | org.checkerframework.checker.signature.qual | Checker | |
IdentifierOrArray | Class | org.checkerframework.checker.signature.qual | Checker | |
InternalForm | The syntax for binary names that appears in a class file, as defined in Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
MethodDescriptor | Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4. | Class | org.checkerframework.checker.signature.qual | Checker |
PolySignature | A polymorphic qualifier for the Signature type system. | Class | org.checkerframework.checker.signature.qual | Checker |
SignatureAnnotatedTypeFactory | This class is currently not needed. | Class | org.checkerframework.checker.signature | Checker |
SignatureBottom | Class | org.checkerframework.checker.signature.qual | Checker | |
SignatureChecker | Class | org.checkerframework.checker.signature | Checker | |
SourceNameForNonArrayNonInner | A source name is a string that is a valid fully qualified name and a valid binary name. | Class | org.checkerframework.checker.signature.qual | Checker |
SourceNameForNonInner | Class | org.checkerframework.checker.signature.qual | Checker | |
UnannotatedString | Class | org.checkerframework.checker.signature.qual | Checker | |