| 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 | |