Annotation Interface BoundedIntDomain


@Retention(RUNTIME) @Target({FIELD,PARAMETER,METHOD}) public @interface BoundedIntDomain
Annotation for declaring a bounded domain (a.k.a range) of integers on a field, a method or a parameter.

When this annotation is applied to a method it applies to the method return value.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    int
     
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    int
     
    boolean
     
    boolean
     
  • Element Details

    • min

      int min
      Returns:
      The lower bound of the domain.
    • minIncluded

      boolean minIncluded
      Returns:
      true if the lower bound should be included in the domain. By default, it is true.
      Default:
      true
    • max

      int max
      Returns:
      The higher bound of the domain. By default there is no higher bound.
      Default:
      2147483647
    • maxIncluded

      boolean maxIncluded
      Returns:
      true if the higher bound should be included in the domain. By default it is true.
      Default:
      true