Annotation Interface 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
     
  • Element Details