Annotation Interface Refinement

@Retention(RUNTIME) @Target({METHOD,FIELD,LOCAL_VARIABLE,PARAMETER,TYPE}) public @interface Refinement
Annotation to add a refinement to variables, class fields, method's parameters and method's return value e.g. @Refinement("x > 0") int x;
Author:
catarina gamboa

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
     

  • Element Details