Exhaustive
Keywords: javax.annotation.meta.Exhaustive class

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT

## javax.annotation.meta
Annotation Type Exhaustive

    @Documented
    @Retention(value=RUNTIME)
    public @interface Exhaustive

This annotation can be applied to the value() element of an annotation that is annotated as a TypeQualifier. This is only appropriate if the value field returns a value that is an Enumeration. Applications of the type qualifier with different values are exclusive, and the enumeration is an exhaustive list of the possible values. <<<<<<< .mine For example, the following defines a type qualifier such that if you know a value is neither &#064;Foo(Color.Red) or &#064;Foo(Color.Blue), then the value must be &#064;Foo(Color.Green). And if you know it is &#064;Foo(Color.Green), you know it cannot be &#064;Foo(Color.Red) or &#064;Foo(Color.Blue) ======= For example, the following defines a type qualifier such that if you know a value is neither @Foo(Color.Red) or @Foo(Color.Blue), then the value must be @Foo(Color.Green). And if you know it is @Foo(Color.Green), you know it cannot be @Foo(Color.Red) or @Foo(Color.Blue) >>>>>>> .r47 `@TypeQualifier @interface Foo { enum Color {RED, BLUE, GREEN}; @Exhaustive Color value(); }`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT