public final class NumbersOption extends Option<int[]>
NumbersOption(String name, int... value)
int[]
copy()
String
toString()
value()
name
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public NumbersOption(String name, int... value)
value
public int[] value()
Option
Option<int[]>
public int[] copy()
copy
public String toString()
toString
Copyright © 2005–2015 BaseX Team. All rights reserved.