public final class Prop extends AProp
| Modifier and Type | Field and Description |
|---|---|
static java.lang.Object[] |
ADDARCHIVES
Flag for adding archives to a database.
|
static java.lang.Object[] |
ADDRAW
Flag for adding remaining files as raw files.
|
static java.lang.Object[] |
ATTRINDEX
Flag for creating an attribute value index.
|
static java.lang.Object[] |
AUTOFLUSH
Flushes the database after each update.
|
static java.lang.Object[] |
BINDINGS
External variables, separated by commas.
|
static java.lang.Object[] |
CACHEQUERY
Caches the query results.
|
static java.lang.Object[] |
CASESENS
Flag for full-text case sensitivity.
|
static java.lang.Object[] |
CATFILE
Path to XML Catalog file.
|
static java.lang.Object[] |
CHOP
Flag for whitespace chopping.
|
static java.lang.Object[] |
COMPPLAN
Creates the query plan before or after compilation.
|
static java.lang.Object[] |
CREATEFILTER
Path for filtering XML Documents.
|
static java.lang.String |
DBPREFIX
Prefix for project specific properties.
|
static boolean |
debug
Debug mode.
|
static java.lang.Object[] |
DIACRITICS
Flag for full-text diacritics sensitivity.
|
static java.lang.Object[] |
DOTCOMPACT
Compact dot representation.
|
static java.lang.Object[] |
DOTDISPLAY
Display dot graph.
|
static java.lang.Object[] |
DOTPLAN
Dots the query plan.
|
static java.lang.Object[] |
DOTTY
Path to dotty.
|
static java.lang.Object[] |
DTD
Flag for parsing DTDs in internal parser.
|
static java.lang.String |
ENCODING
Returns the system's default encoding.
|
static java.lang.Object[] |
EXPORTER
Exporter serialization parameters.
|
static java.lang.Object[] |
FORCECREATE
Forces database creation for unknown documents.
|
static java.lang.Object[] |
FTINDEX
Flag for creating a full-text index.
|
static boolean |
gui
GUI mode.
|
static java.lang.String |
HOME
Directory for storing the property files, database directory, etc.
|
static java.lang.Object[] |
HTMLOPT
Define TagSoup HTML options.
|
static java.lang.Object[] |
INTPARSE
Use internal XML parser.
|
static boolean |
langkeys
Flag for prefixing texts with their keys (helps while translating texts).
|
static java.lang.String |
language
Language (applied after restart).
|
static java.lang.Object[] |
LANGUAGE
Language for full-text search index.
|
static java.lang.Object[] |
LSERROR
Levenshtein default error.
|
static boolean |
MAC
Flag denoting if OS belongs to Mac family.
|
static java.lang.Object[] |
MAINMEM
Flag for creating a main memory database.
|
static java.lang.Object[] |
MAXCATS
Maximum number of name categories.
|
static java.lang.Object[] |
MAXHITS
Maximum number of hits to be displayed in the GUI (will be overwritten).
|
static java.lang.Object[] |
MAXLEN
Maximum length of index entries.
|
static java.lang.Object[] |
MAXSTAT
Maximum number of index occurrences to print.
|
static java.lang.String |
NAME
Project name.
|
static java.lang.String |
NL
New line string.
|
static java.lang.Object[] |
PARSER
Define import parser.
|
static java.lang.Object[] |
PARSEROPT
Define parser options.
|
static java.lang.String |
PATH
System property for specifying database home directory.
|
static java.lang.Object[] |
PATHINDEX
Flag for creating a path summary.
|
static java.lang.Object[] |
QUERYINFO
Detailed query information.
|
static java.lang.Object[] |
QUERYPATH
Path to current query.
|
static java.lang.Object[] |
RUNS
Number of query executions.
|
static java.lang.Object[] |
SCORING
Flag for full-text scoring algorithm.
|
static java.lang.Object[] |
SERIALIZE
Flag for serializing query results.
|
static java.lang.Object[] |
SERIALIZER
Serialization parameters, separated by commas.
|
static java.lang.Object[] |
SKIPCORRUPT
Flag for skipping corrupt files.
|
static java.lang.Object[] |
STEMMING
Flag for full-text stemming.
|
static java.lang.Object[] |
STOPWORDS
Path to full-text stopword list.
|
static java.lang.Object[] |
TAILCALLS
Flag for tail-call optimization.
|
static java.lang.Object[] |
TEXTINDEX
Flag for creating a text index.
|
static java.lang.String |
TMP
System's temporary directory.
|
static java.lang.Object[] |
UPDINDEX
Flag for automatic index update.
|
static java.lang.String |
USERHOME
User's home directory.
|
static java.lang.String |
VERSION
Code version (may contain major, minor and optional patch number).
|
static java.lang.Object[] |
WILDCARDS
Flag for creating a wildcard index.
|
static boolean |
WIN
Flag denoting if OS belongs to Windows family.
|
static java.lang.Object[] |
WRITEBACK
Writes original files back after updates.
|
static java.lang.Object[] |
XMLPLAN
Prints an XML plan.
|
static java.lang.Object[] |
XQUERY3
Default XQuery version.
|
| Constructor and Description |
|---|
Prop()
Constructor.
|
public static final java.lang.String NAME
public static final java.lang.String VERSION
public static final java.lang.String NL
public static final java.lang.String ENCODING
public static final java.lang.String TMP
public static final boolean MAC
public static final boolean WIN
public static final java.lang.String DBPREFIX
public static final java.lang.String PATH
public static final java.lang.String USERHOME
public static final java.lang.String HOME
public static java.lang.String language
public static boolean langkeys
public static boolean debug
public static boolean gui
public static final java.lang.Object[] CHOP
public static final java.lang.Object[] INTPARSE
public static final java.lang.Object[] DTD
public static final java.lang.Object[] CATFILE
public static final java.lang.Object[] CREATEFILTER
public static final java.lang.Object[] ADDARCHIVES
public static final java.lang.Object[] ADDRAW
public static final java.lang.Object[] SKIPCORRUPT
public static final java.lang.Object[] PARSER
public static final java.lang.Object[] PARSEROPT
public static final java.lang.Object[] HTMLOPT
public static final java.lang.Object[] PATHINDEX
public static final java.lang.Object[] TEXTINDEX
public static final java.lang.Object[] ATTRINDEX
public static final java.lang.Object[] FTINDEX
public static final java.lang.Object[] MAXLEN
public static final java.lang.Object[] MAXCATS
public static final java.lang.Object[] UPDINDEX
public static final java.lang.Object[] WRITEBACK
public static final java.lang.Object[] MAINMEM
public static final java.lang.Object[] FORCECREATE
public static final java.lang.Object[] AUTOFLUSH
public static final java.lang.Object[] MAXSTAT
public static final java.lang.Object[] TAILCALLS
public static final java.lang.Object[] WILDCARDS
public static final java.lang.Object[] STEMMING
public static final java.lang.Object[] CASESENS
public static final java.lang.Object[] DIACRITICS
public static final java.lang.Object[] LANGUAGE
public static final java.lang.Object[] SCORING
public static final java.lang.Object[] STOPWORDS
public static final java.lang.Object[] LSERROR
public static final java.lang.Object[] QUERYINFO
public static final java.lang.Object[] XQUERY3
public static final java.lang.Object[] SERIALIZE
public static final java.lang.Object[] BINDINGS
public static final java.lang.Object[] SERIALIZER
public static final java.lang.Object[] EXPORTER
public static final java.lang.Object[] QUERYPATH
public static final java.lang.Object[] CACHEQUERY
public static final java.lang.Object[] RUNS
public static final java.lang.Object[] XMLPLAN
public static final java.lang.Object[] COMPPLAN
public static final java.lang.Object[] DOTPLAN
public static final java.lang.Object[] DOTCOMPACT
public static final java.lang.Object[] DOTDISPLAY
public static final java.lang.Object[] DOTTY
public static final java.lang.Object[] MAXHITS