Search Java Classes and Packages
#Org.checkerframework.common.aliasing Classes and Interfaces - 9 results found.
| Name | Description | Type | Package | Framework |
| AliasingAnnotatedTypeFactory | Class | org.checkerframework.common.aliasing | Checker | |
| AliasingChecker | Aliasing type system -- used to identify expressions that definitely haveSee the Checker Framework Manual:Aliasing Checker | Class | org.checkerframework.common.aliasing | Checker |
| AliasingTransfer | Type refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS is | Class | org.checkerframework.common.aliasing | Checker |
| AliasingVisitor | This visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases. | Class | org.checkerframework.common.aliasing | Checker |
| LeakedToResult | This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked. | Class | org.checkerframework.common.aliasing.qual | Checker |
| MaybeAliased | Class | org.checkerframework.common.aliasing.qual | Checker | |
| MaybeLeaked | Temporary type qualifier: This is the default type qualifier for the Leaked hierarchy. | Class | org.checkerframework.common.aliasing.qual | Checker |
| NonLeaked | This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could | Class | org.checkerframework.common.aliasing.qual | Checker |
| Unique | An expression with this type has no aliases. | Class | org.checkerframework.common.aliasing.qual | Checker |