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-21, BSD License, Christian Gruen

Constructor Summary

Constructors

Constructor and Description
NumbersOption(String name, int... value) Default constructor.

Method Summary

Modifier and Type	Method and Description
int[]	copy() Copies mutable default values.
String	toString()
int[]	value() Returns the default value.

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

arg, name

Methods inherited from class java.lang.Object

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

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

toString

public String toString()

Overrides:

toString in class Option<int[]>