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