@Documented
@Retention(value=RUNTIME)
public @interface Exclusive
For example, the following defines a type qualifier such that if you know a value is @Foo(1), then the value cannot be @Foo(2) or {@Foo(3).
@TypeQualifier @interface Foo { @Exclusive int value(); }