public final class DBOptions extends Object
Modifier and Type | Field and Description |
---|---|
static Option<?>[] |
INDEXING
Indexing options.
|
static Option<?>[] |
PARSING
Parsing options.
|
Constructor and Description |
---|
DBOptions(Options options,
List<Option<?>> supported,
InputInfo info)
Constructor.
|
DBOptions(Options options,
Option<?>[] supported,
InputInfo info)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
assign(Option<?> option,
Object value)
Assigns the specified option if it has not been assigned before.
|
void |
assignTo(MainOptions opts)
Assigns runtime options to the specified main options.
|
public static final Option<?>[] PARSING
public static final Option<?>[] INDEXING
public DBOptions(Options options, List<Option<?>> supported, InputInfo info) throws QueryException
options
- query optionssupported
- supported optionsinfo
- input infoQueryException
- query exceptionpublic DBOptions(Options options, Option<?>[] supported, InputInfo info) throws QueryException
options
- query optionssupported
- supported optionsinfo
- input infoQueryException
- query exceptionpublic void assign(Option<?> option, Object value)
option
- optionvalue
- valuepublic void assignTo(MainOptions opts)
opts
- main optionsCopyright © 2005–2015 BaseX Team. All rights reserved.