Package org.checkerframework.framework.testchecker.util

Annotation Interface RequiresOdd

@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @PreconditionAnnotation(qualifier=Odd.class) public @interface RequiresOdd
A precondition annotation to indicate that a method requires certain expressions to be Odd.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
     

  • Element Details