Package org.basex.util.options
Class NumbersOption
- java.lang.Object
-
- org.basex.util.options.Option<int[]>
-
- org.basex.util.options.NumbersOption
-
public final class NumbersOption extends Option<int[]>
Option containing an integer array value.- Author:
- BaseX Team 2005-24, BSD License, Christian Gruen
-
-
Constructor Summary
Constructors Constructor Description NumbersOption(String name, int... value)
Default constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int[]
copy()
Copies mutable default values.String
toString()
int[]
value()
Returns the default value.
-
-
-
Constructor Detail
-
NumbersOption
public NumbersOption(String name, int... value)
Default constructor.- Parameters:
name
- namevalue
- value
-
-