|
JPF 0.10 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.java.plugin.tools.configuration.ConfigurationManager
Utility class to manage plug-ins set configuration.
Constructor Summary | |
ConfigurationManager()
|
Method Summary | |
void |
load(java.io.File configFile)
Loads configuration from given file. |
void |
load(java.io.InputStream strm)
Loads configuration from given input stream. |
void |
load(java.util.Properties config)
Loads this class specific properties from given collection. |
void |
save(java.io.File configFile)
Stores configuration data to given file. |
void |
save(java.io.OutputStream strm)
Stores configuration data to given output stream. |
void |
save(java.util.Properties config)
Merges this class specific properties with given collection. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ConfigurationManager()
Method Detail |
public void load(java.util.Properties config)
config
- some configuration propertiespublic void load(java.io.File configFile) throws java.io.IOException
configFile
- configuration file
java.io.IOException
- if an I/O error has occurredpublic void load(java.io.InputStream strm) throws java.io.IOException
strm
- stream to configuration data
java.io.IOException
- if an I/O error has occurredpublic void save(java.util.Properties config)
config
- some configuration propertiespublic void save(java.io.File configFile) throws java.io.IOException
configFile
- configuration file
java.io.IOException
- if an I/O error has occurredpublic void save(java.io.OutputStream strm) throws java.io.IOException
strm
- stream to configuration data
java.io.IOException
- if an I/O error has occurred
|
JPF 0.10 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |