Uses of Class
org.basex.util.options.NumbersOption
Packages that use NumbersOption
-
Uses of NumbersOption in org.basex.gui
Fields in org.basex.gui declared as NumbersOptionModifier and TypeFieldDescriptionstatic final NumbersOptionGUIOptions.GUILOCGUI position.static final NumbersOptionGUIOptions.GUISIZEGUI height. -
Uses of NumbersOption in org.basex.util.options
Methods in org.basex.util.options with parameters of type NumbersOptionModifier and TypeMethodDescriptionfinal int[]Options.get(NumbersOption option) Returns the requested integer array.final voidOptions.set(NumbersOption option, int[] value) Sets the integer array value of an option.