public class ConfigTool
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ConfigTool.Configuration
The configuration class.
|
Modifier and Type | Field and Description |
---|---|
protected static java.lang.String |
RESOURCE |
Constructor and Description |
---|
ConfigTool() |
Modifier and Type | Method and Description |
---|---|
static void |
printOutNode(java.io.PrintStream out,
java.lang.String prefix,
org.w3c.dom.Node node,
boolean recursive) |
static ConfigTool.Configuration |
readConfiguration(java.io.File file,
java.util.Properties properties)
Read the configuration from file.
|
static ConfigTool.Configuration |
readConfiguration(java.util.Properties properties)
Read the configuration from default file.
|
static ConfigTool.Configuration |
readConfiguration(java.lang.String filename,
java.util.Properties properties)
Read the configuration from named file.
|
static void |
writeConfiguration(ConfigTool.Configuration config)
Read the configuration from default file.
|
static void |
writeConfiguration(java.io.File file,
ConfigTool.Configuration config)
Read the configuration from file.
|
static void |
writeConfiguration(java.io.PrintStream out,
ConfigTool.Configuration config)
Read the configuration from file.
|
static void |
writeConfiguration(java.lang.String filename,
ConfigTool.Configuration config)
Read the configuration from named file.
|
protected static void |
writeGenerator(java.io.PrintStream out,
GeneratorIF generator,
boolean isDefault) |
static void |
writeXML(java.io.File file,
org.w3c.dom.Document doc)
Write out a XML file containing a configuration.
|
static void |
writeXML(java.io.PrintStream out,
org.w3c.dom.Document doc)
Write out a XML file containing a configuration.
|
public static void writeConfiguration(ConfigTool.Configuration config) throws java.lang.Exception
java.lang.Exception
public static void writeConfiguration(java.lang.String filename, ConfigTool.Configuration config) throws java.lang.Exception
java.lang.Exception
public static void writeConfiguration(java.io.File file, ConfigTool.Configuration config) throws java.lang.Exception
java.lang.Exception
public static void writeConfiguration(java.io.PrintStream out, ConfigTool.Configuration config) throws java.lang.Exception
java.lang.Exception
protected static void writeGenerator(java.io.PrintStream out, GeneratorIF generator, boolean isDefault) throws java.lang.Exception
java.lang.Exception
public static ConfigTool.Configuration readConfiguration(java.util.Properties properties) throws java.lang.Exception
java.lang.Exception
public static ConfigTool.Configuration readConfiguration(java.lang.String filename, java.util.Properties properties) throws java.lang.Exception
java.lang.Exception
public static ConfigTool.Configuration readConfiguration(java.io.File file, java.util.Properties properties) throws java.lang.Exception
java.lang.Exception
public static void printOutNode(java.io.PrintStream out, java.lang.String prefix, org.w3c.dom.Node node, boolean recursive)
out
- The print stream.prefix
- The list prefix string.list
- the node list to be printed.public static void writeXML(java.io.File file, org.w3c.dom.Document doc) throws java.lang.Exception
java.lang.Exception
public static void writeXML(java.io.PrintStream out, org.w3c.dom.Document doc) throws java.lang.Exception
java.lang.Exception