Package org.basex.util.options

Class NumberOption

java.lang.Object

org.basex.util.options.Option<Integer>

org.basex.util.options.NumberOption

public final class NumberOption
extends Option<Integer>

Option containing an integer value.

Author:

BaseX Team 2005-21, BSD License, Christian Gruen

Constructor Summary

Constructors

Constructor	Description
NumberOption(String name)	Constructor without default value.
NumberOption(String name, int value)	Default constructor.

Method Summary

Modifier and Type	Method	Description
Integer	value()	Returns the default value.

Methods inherited from class org.basex.util.options.Option

arg, copy, name, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 Details

value

public Integer value()

Description copied from class: Option

Returns the default value.

Specified by:

value in class Option<Integer>

Returns:

default value