Class NumbersOption


  • public final class NumbersOption
    extends Option<int[]>
    Option containing an integer array value.
    Author:
    BaseX Team 2005-24, BSD License, Christian Gruen
    • Constructor Detail

      • NumbersOption

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

      • value

        public int[] value()
        Description copied from class: Option
        Returns the default value.
        Specified by:
        value in class Option<int[]>
        Returns:
        default value
      • copy

        public int[] copy()
        Description copied from class: Option
        Copies mutable default values. Otherwise, returns the existing instance.
        Overrides:
        copy in class Option<int[]>
        Returns:
        default value