Class NumberOption


  • public final class NumberOption
    extends Option<Integer>
    Option containing an integer value.
    Author:
    BaseX Team 2005-24, BSD License, Christian Gruen
    • Constructor Detail

      • NumberOption

        public NumberOption​(String name,
                            int value)
        Default constructor.
        Parameters:
        name - name
        value - value
      • NumberOption

        public NumberOption​(String name)
        Constructor without default value.
        Parameters:
        name - name
    • Method Detail

      • value

        public Integer value()
        Description copied from class: Option
        Returns the default value.
        Specified by:
        value in class Option<Integer>
        Returns:
        default value