Name | Description | Type | Package | Framework |
SubtypingAnnotatedTypeFactory | Class | org.checkerframework.common.subtyping | Checker | |
SubtypingChecker | A checker for type qualifier systems that only checks subtyping The annotation(s) are specified on the command line, using an annotation | Class | org.checkerframework.common.subtyping | Checker |