Search Java Classes and Packages
#Org.checkerframework.framework.qual Classes and Interfaces - 34 results found.
| Name | Description | Type | Package | Framework |
| AnnotatedFor | Indicates that this class has been annotated for the given type system. | Class | org.checkerframework.framework.qual | Checker |
| Bottom | A special annotation intended solely for representing the bottom type in the qualifier hierarchy. | Class | org.checkerframework.framework.qual | Checker |
| ConditionalPostconditionAnnotation | A meta-annotation that indicates that an annotation is a conditional postcondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| DefaultFor | Applied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location. | Class | org.checkerframework.framework.qual | Checker |
| DefaultInUncheckedCodeFor | Applied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type uses | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifier | Applied to a declaration of a package, type, method, variable, etc. | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifierInHierarchy | Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifierInHierarchyInUncheckedCode | Indicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked). | Class | org.checkerframework.framework.qual | Checker |
| DefaultQualifiers | Specifies the annotations to be included in a type without having to provide This annotation permits specifying multiple default qualifiers for more | Class | org.checkerframework.framework.qual | Checker |
| Dependent | Refines the qualified type of the annotated field or variable based on the qualified type of the receiver. | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifier | A postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfully | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifierIf | A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has finished, | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifiers | A meta-annotation to allow multiple postcondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| EnsuresQualifiersIf | A meta-annotation to allow multiple conditional postcondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| FieldIsExpression | Class | org.checkerframework.framework.qual | Checker | |
| FromByteCode | If a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source. | Class | org.checkerframework.framework.qual | Checker |
| FromStubFile | Class | org.checkerframework.framework.qual | Checker | |
| ImplicitFor | A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier. | Class | org.checkerframework.framework.qual | Checker |
| InheritedAnnotation | Class | org.checkerframework.framework.qual | Checker | |
| InvisibleQualifier | Class | org.checkerframework.framework.qual | Checker | |
| LiteralKind | Specifies kinds of literal trees. | Class | org.checkerframework.framework.qual | Checker |
| MonotonicQualifier | A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to another | Class | org.checkerframework.framework.qual | Checker |
| PolyAll | A polymorphic type qualifier that varies over all type hierarchies. | Class | org.checkerframework.framework.qual | Checker |
| PolymorphicQualifier | A meta-annotation that indicates that an annotation is a polymorphic type Any method written using a polymorphic type qualifier conceptually has | Class | org.checkerframework.framework.qual | Checker |
| PostconditionAnnotation | A meta-annotation that indicates that an annotation is a postcondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| PreconditionAnnotation | A meta-annotation that indicates that an annotation is a precondition annotation, i. | Class | org.checkerframework.framework.qual | Checker |
| RequiresQualifier | A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the | Class | org.checkerframework.framework.qual | Checker |
| RequiresQualifiers | A meta-annotation to allow multiple precondition annotations. | Class | org.checkerframework.framework.qual | Checker |
| StubFiles | An annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk. | Class | org.checkerframework.framework.qual | Checker |
| SubtypeOf | A meta-annotation to specify all the qualifiers that the given qualifier is a subtype of. | Class | org.checkerframework.framework.qual | Checker |
| TargetLocations | A meta-annotation that restricts the type-use locations where a type qualifier may be written. | Class | org.checkerframework.framework.qual | Checker |
| TypeUseLocation | enum TypeUseLocationSpecifies the locations to which a DefaultQualifier annotation applies. | Class | org.checkerframework.framework.qual | Checker |
| Unqualified | A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf. | Class | org.checkerframework.framework.qual | Checker |
| Unused | Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype). | Class | org.checkerframework.framework.qual | Checker |