org.checkerframework.common.aliasing.qual
public @Interface MaybeAliased
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_PARAMETER, TYPE_USE
- @SubtypeOf
- @DefaultQualifierInHierarchy
- @DefaultFor:UPPER_BOUND, LOWER_BOUND
- types:Void
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .SubtypeOf, .TypeUseLocation
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
