Search Java Classes and Packages
#Org.checkerframework.common.aliasing.qual Classes and Interfaces - 5 results found.
| Name | Description | Type | Package | Framework |
| 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 |