com.mchange.util.impl
Class SyncedProperties
java.lang.Object
com.mchange.util.impl.SyncedProperties
public class SyncedProperties
- extends java.lang.Object
|
Method Summary |
void |
clear()
|
boolean |
contains(java.lang.String value)
|
boolean |
containsKey(java.lang.String key)
|
java.util.Enumeration |
elements()
|
java.lang.String |
getProperty(java.lang.String property)
|
java.lang.String |
getProperty(java.lang.String property,
java.lang.String defaultValue)
|
boolean |
isEmpty()
|
java.util.Enumeration |
keys()
|
void |
put(java.lang.String property,
java.lang.String value)
|
void |
remove(java.lang.String property)
|
int |
size()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SyncedProperties
public SyncedProperties(java.io.File file,
java.lang.String header)
throws java.io.IOException
- Throws:
java.io.IOException
SyncedProperties
public SyncedProperties(java.io.File file,
java.lang.String[] header)
throws java.io.IOException
- Throws:
java.io.IOException
SyncedProperties
public SyncedProperties(java.io.File file)
throws java.io.IOException
- Throws:
java.io.IOException
getProperty
public java.lang.String getProperty(java.lang.String property)
throws java.io.IOException
- Throws:
java.io.IOException
getProperty
public java.lang.String getProperty(java.lang.String property,
java.lang.String defaultValue)
throws java.io.IOException
- Throws:
java.io.IOException
put
public void put(java.lang.String property,
java.lang.String value)
throws java.io.IOException
- Throws:
java.io.IOException
remove
public void remove(java.lang.String property)
throws java.io.IOException
- Throws:
java.io.IOException
clear
public void clear()
throws java.io.IOException
- Throws:
java.io.IOException
contains
public boolean contains(java.lang.String value)
throws java.io.IOException
- Throws:
java.io.IOException
containsKey
public boolean containsKey(java.lang.String key)
throws java.io.IOException
- Throws:
java.io.IOException
elements
public java.util.Enumeration elements()
throws java.io.IOException
- Throws:
java.io.IOException
keys
public java.util.Enumeration keys()
throws java.io.IOException
- Throws:
java.io.IOException
size
public int size()
throws java.io.IOException
- Throws:
java.io.IOException
isEmpty
public boolean isEmpty()
throws java.io.IOException
- Throws:
java.io.IOException