Annotation Type ClassInvariant


  • @Documented
    @Retention(SOURCE)
    @Target({FIELD,LOCAL_VARIABLE})
    public @interface ClassInvariant
    Identifies the valid state(s) of a field or variable.
    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      java.lang.String value  
    • Element Detail

      • value

        java.lang.String value