org.basex.core
Class Prop

java.lang.Object
  extended by org.basex.core.AProp
      extended by org.basex.core.Prop
All Implemented Interfaces:
java.lang.Iterable<java.lang.String>

public final class Prop
extends AProp

This class assembles properties which are used all around the project.

Author:
BaseX Team 2005-12, BSD License, Christian Gruen

Field Summary
static java.lang.Object[] ADDARCHIVES
          Flag for adding archives to a database.
static java.lang.Object[] ADDCACHE
          Cache new documents before adding them 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.String AUTHOR
          Main author.
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 boolean CASE
          Respect lower/upper case when doing file comparisons.
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[] CHECKSTRINGS
          Validate string inputs.
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.Object[] CREATEONLY
          Flag for opening a database after creating it.
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.String ENTITY
          Entity.
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 java.lang.Object[] FTINDEXSPLITSIZE
          Maximum number of fulltext index entries to keep in memory during index creation.
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[] INDEXSPLITSIZE
          Maximum number of text/attribute index entries to keep in memory during index creation.
static java.lang.Object[] INLINELIMIT
          Hidden: flag for the size limit on inlineable functions.
static java.lang.Object[] INTPARSE
          Use internal XML parser.
static boolean langkeys
          Flag for prefixing texts with their keys (helps while translating texts).
static boolean langright
          Language direction (right vs.
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
          Hidden: 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[] 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[] 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[] STRIPNS
          Strips namespaces.
static java.lang.Object[] TAILCALLS
          Hidden: flag for tail-call optimization.
static java.lang.String TEAM1
          Co-authors (1).
static java.lang.String TEAM2
          Co-authors (2).
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 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.
 
Fields inherited from class org.basex.core.AProp
props
 
Constructor Summary
Prop()
           
 
Method Summary
 
Methods inherited from class org.basex.core.AProp
get, get, getSystem, getSystem, invert, is, iterator, num, nums, parse, props, sameAs, set, set, set, set, set, set, setObject, setSystem, setSystem, setSystem, similar, strings, toString, unknown, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

NAME

public static final java.lang.String NAME
Project name.

See Also:
Constant Field Values

VERSION

public static final java.lang.String VERSION
Code version (may contain major, minor and optional patch number).

See Also:
Constant Field Values

AUTHOR

public static final java.lang.String AUTHOR
Main author.

See Also:
Constant Field Values

TEAM1

public static final java.lang.String TEAM1
Co-authors (1).

See Also:
Constant Field Values

TEAM2

public static final java.lang.String TEAM2
Co-authors (2).

See Also:
Constant Field Values

ENTITY

public static final java.lang.String ENTITY
Entity.

See Also:
Constant Field Values

NL

public static final java.lang.String NL
New line string.


ENCODING

public static final java.lang.String ENCODING
Returns the system's default encoding.


TMP

public static final java.lang.String TMP
System's temporary directory.


MAC

public static final boolean MAC
Flag denoting if OS belongs to Mac family.


WIN

public static final boolean WIN
Flag denoting if OS belongs to Windows family.


CASE

public static final boolean CASE
Respect lower/upper case when doing file comparisons.


DBPREFIX

public static final java.lang.String DBPREFIX
Prefix for project specific properties.

See Also:
Constant Field Values

PATH

public static final java.lang.String PATH
System property for specifying database home directory.

See Also:
Constant Field Values

USERHOME

public static final java.lang.String USERHOME
User's home directory.


HOME

public static final java.lang.String HOME
Directory for storing the property files, database directory, etc.


language

public static java.lang.String language
Language (applied after restart).


langkeys

public static boolean langkeys
Flag for prefixing texts with their keys (helps while translating texts).


langright

public static boolean langright
Language direction (right vs. left).


debug

public static boolean debug
Debug mode.


gui

public static boolean gui
GUI mode.


MAINMEM

public static final java.lang.Object[] MAINMEM
Flag for creating a main memory database.


CREATEONLY

public static final java.lang.Object[] CREATEONLY
Flag for opening a database after creating it.


CREATEFILTER

public static final java.lang.Object[] CREATEFILTER
Path for filtering XML Documents.


ADDARCHIVES

public static final java.lang.Object[] ADDARCHIVES
Flag for adding archives to a database.


SKIPCORRUPT

public static final java.lang.Object[] SKIPCORRUPT
Flag for skipping corrupt files.


ADDRAW

public static final java.lang.Object[] ADDRAW
Flag for adding remaining files as raw files.


PARSER

public static final java.lang.Object[] PARSER
Define import parser.


PARSEROPT

public static final java.lang.Object[] PARSEROPT
Define parser options.


ADDCACHE

public static final java.lang.Object[] ADDCACHE
Cache new documents before adding them to a database.


HTMLOPT

public static final java.lang.Object[] HTMLOPT
Define TagSoup HTML options.


CHOP

public static final java.lang.Object[] CHOP
Flag for whitespace chopping.


INTPARSE

public static final java.lang.Object[] INTPARSE
Use internal XML parser.


STRIPNS

public static final java.lang.Object[] STRIPNS
Strips namespaces.


DTD

public static final java.lang.Object[] DTD
Flag for parsing DTDs in internal parser.


CATFILE

public static final java.lang.Object[] CATFILE
Path to XML Catalog file.


TEXTINDEX

public static final java.lang.Object[] TEXTINDEX
Flag for creating a text index.


ATTRINDEX

public static final java.lang.Object[] ATTRINDEX
Flag for creating an attribute value index.


FTINDEX

public static final java.lang.Object[] FTINDEX
Flag for creating a full-text index.


INDEXSPLITSIZE

public static final java.lang.Object[] INDEXSPLITSIZE
Maximum number of text/attribute index entries to keep in memory during index creation.


FTINDEXSPLITSIZE

public static final java.lang.Object[] FTINDEXSPLITSIZE
Maximum number of fulltext index entries to keep in memory during index creation.


MAXLEN

public static final java.lang.Object[] MAXLEN
Maximum length of index entries.


MAXCATS

public static final java.lang.Object[] MAXCATS
Maximum number of name categories.


UPDINDEX

public static final java.lang.Object[] UPDINDEX
Flag for automatic index update.


STEMMING

public static final java.lang.Object[] STEMMING
Flag for full-text stemming.


CASESENS

public static final java.lang.Object[] CASESENS
Flag for full-text case sensitivity.


DIACRITICS

public static final java.lang.Object[] DIACRITICS
Flag for full-text diacritics sensitivity.


LANGUAGE

public static final java.lang.Object[] LANGUAGE
Language for full-text search index.


STOPWORDS

public static final java.lang.Object[] STOPWORDS
Path to full-text stopword list.


QUERYINFO

public static final java.lang.Object[] QUERYINFO
Detailed query information.


XQUERY3

public static final java.lang.Object[] XQUERY3
Default XQuery version.


BINDINGS

public static final java.lang.Object[] BINDINGS
External variables, separated by commas.


QUERYPATH

public static final java.lang.Object[] QUERYPATH
Path to current query.


CACHEQUERY

public static final java.lang.Object[] CACHEQUERY
Caches the query results.


FORCECREATE

public static final java.lang.Object[] FORCECREATE
Forces database creation for unknown documents.


CHECKSTRINGS

public static final java.lang.Object[] CHECKSTRINGS
Validate string inputs.


LSERROR

public static final java.lang.Object[] LSERROR
Levenshtein default error.


RUNS

public static final java.lang.Object[] RUNS
Number of query executions.


SERIALIZE

public static final java.lang.Object[] SERIALIZE
Flag for serializing query results.


SERIALIZER

public static final java.lang.Object[] SERIALIZER
Serialization parameters, separated by commas.


EXPORTER

public static final java.lang.Object[] EXPORTER
Exporter serialization parameters.


XMLPLAN

public static final java.lang.Object[] XMLPLAN
Prints an XML plan.


COMPPLAN

public static final java.lang.Object[] COMPPLAN
Creates the query plan before or after compilation.


DOTPLAN

public static final java.lang.Object[] DOTPLAN
Dots the query plan.


DOTCOMPACT

public static final java.lang.Object[] DOTCOMPACT
Compact dot representation.


DOTDISPLAY

public static final java.lang.Object[] DOTDISPLAY
Display dot graph.


DOTTY

public static final java.lang.Object[] DOTTY
Path to dotty.


AUTOFLUSH

public static final java.lang.Object[] AUTOFLUSH
Flushes the database after each update.


WRITEBACK

public static final java.lang.Object[] WRITEBACK
Writes original files back after updates.


MAXSTAT

public static final java.lang.Object[] MAXSTAT
Maximum number of index occurrences to print.


TAILCALLS

public static final java.lang.Object[] TAILCALLS
Hidden: flag for tail-call optimization.


INLINELIMIT

public static final java.lang.Object[] INLINELIMIT
Hidden: flag for the size limit on inlineable functions.


MAXHITS

public static final java.lang.Object[] MAXHITS
Hidden: maximum number of hits to be displayed in the GUI (will be overwritten).

Constructor Detail

Prop

public Prop()