DBConfig
public class DefaultDBConfig extends AbstractDBConfig
Constructor | Description |
---|---|
DefaultDBConfig() |
Constructs the configuration with the current system path as the
configuration path.
|
DefaultDBConfig(java.io.File current_path) |
Constructs the configuration.
|
Modifier and Type | Method | Description |
---|---|---|
protected java.lang.String |
getDefaultValue(java.lang.String property_key) |
Gets the default value for the given property value.
|
void |
loadFromFile(java.io.File configuration_file) |
Loads all the configuration settings from a configuration file.
|
void |
loadFromStream(java.io.InputStream input) |
Loads all the configuration values from the given InputStream.
|
void |
loadFromURL(java.net.URL configuration_url) |
Loads all the configuration values from the given URL.
|
void |
setDatabasePath(java.lang.String path) |
Sets the path of the database.
|
void |
setIgnoreIdentifierCase(boolean status) |
Sets that the engine ignores case for identifiers.
|
void |
setLogPath(java.lang.String path) |
Sets the path of the log.
|
void |
setMinimumDebugLevel(int debug_level) |
Sets the minimum debug level for output to the debug log file.
|
void |
setReadOnly(boolean status) |
Sets that the database is read only.
|
void |
setValue(java.lang.String property_key,
java.lang.String value) |
Overwrites the configuration key with the given value.
|
currentPath, getValue, immutableCopy
public DefaultDBConfig(java.io.File current_path)
the
- current path of the configuration in the file system. This is
useful if the configuration is based on a file with relative paths set
in it.public DefaultDBConfig()
protected java.lang.String getDefaultValue(java.lang.String property_key)
getDefaultValue
in class AbstractDBConfig
public void setValue(java.lang.String property_key, java.lang.String value)
setValue
in class AbstractDBConfig
public void loadFromStream(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public void loadFromFile(java.io.File configuration_file) throws java.io.IOException
java.io.IOException
public void loadFromURL(java.net.URL configuration_url) throws java.io.IOException
java.io.IOException
public void setDatabasePath(java.lang.String path)
public void setLogPath(java.lang.String path)
public void setIgnoreIdentifierCase(boolean status)
public void setReadOnly(boolean status)
public void setMinimumDebugLevel(int debug_level)
Copyright © 2018. All rights reserved.