Package org.checkerframework.common.aliasing.qual

package org.checkerframework.common.aliasing.qual
  • Annotation Interfaces
    Class
    Description
    LeakedToResult
    This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.
    MaybeAliased
    An expression with this type might have an alias.
    MaybeLeaked
    Temporary type qualifier:
    NonLeaked
    This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could be accessed later) nor returned by the method body.
    Unique
    An expression with this type has no aliases.