Package org.checkerframework.framework.testchecker.util

Annotation Interface EnsuresOdd

@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @PostconditionAnnotation(qualifier=Odd.class) @InheritedAnnotation public @interface EnsuresOdd
A postcondition annotation to indicate that a method ensures certain expressions to be Odd.

  • Required Element Summary

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

  • Element Details