Package org.basex.util.options
Class NumberOption
- java.lang.Object
-
- org.basex.util.options.Option<Integer>
-
- org.basex.util.options.NumberOption
-
-
Constructor Summary
Constructors Constructor Description NumberOption(String name)
Constructor without default value.NumberOption(String name, int value)
Default constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Integer
value()
Returns the default value.
-