@Documented
@DefaultQualifierInHierarchy
@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