Package org.sosy_lab.common.configuration

Annotation Interface IntegerOption

@OptionDetailAnnotation(applicableTo={java.lang.Integer.class,java.lang.Long.class}) @Documented @Retention(RUNTIME) @Target({FIELD,METHOD}) public @interface IntegerOption
This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is an integer number (i.e., int, long, Integer and Long):

It serves to specify minimal and/or maximal values.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    long
    max
    An optional maximum value for this option.
    long
    min
    An optional minimum value for this option.

  • Element Details

    • min

      long min
      An optional minimum value for this option.
      Default:
      -9223372036854775808L

    • max

      long max
      An optional maximum value for this option.
      Default:
      9223372036854775807L