Package org.checkerframework.common.aliasing.qual
package org.checkerframework.common.aliasing.qual
-
ClassDescriptionThis 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.