Package org.checkerframework.common.aliasing.qual


package org.checkerframework.common.aliasing.qual
  • Annotation Interfaces
    Class
    Description
    This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.
    An expression with this type might have an alias.
    Temporary type qualifier:
    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.
    An expression with this type has no aliases.