@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