Package viewpointtest.quals

Annotation Interface Lost

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(Top.class)
public @interface Lost

The Lost qualifier indicates that a relationship cannot be expressed. It is the result of viewpoint adaptation that combines Top and ReceiverDependentQual.

It is not reflexive in the subtyping relationship and the only subtype for Lost is Bottom.