org.checkerframework.common.aliasing.qual

Annotation Type MaybeAliased

@Documented
 @DefaultQualifierInHierarchy
 @DefaultFor(value={UPPER_BOUND,LOWER_BOUND},
            types=java.lang.Void.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_PARAMETER,TYPE_USE})
 @SubtypeOf(value={})
public @interface MaybeAliased

An expression with this type might have an alias. In other words, some other expression, evaluated at the same program point, might evaluate to the exact same object value.

See Also:

Unique

See the Checker Framework Manual:

Aliasing Checker