|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.database.text.Setting.Group
com.sun.electric.database.text.Setting.RootGroup
public static class Setting.RootGroup
This class manages a tree of Settings.
Field Summary |
---|
Fields inherited from class com.sun.electric.database.text.Setting.Group |
---|
xmlPath |
Constructor Summary | |
---|---|
Setting.RootGroup()
Constructs a root of empty tree of Settings |
Method Summary | |
---|---|
boolean |
isLocked()
Returns true if tree can't be modified anymore |
void |
lock()
Locks the tree |
static Setting.RootGroup |
newEmptyGroup()
Returns empty locked RootGroup |
void |
write(IdWriter writer)
Writes this Tree of Settings to IdManager writer |
Methods inherited from class com.sun.electric.database.text.Setting.Group |
---|
getDiskSettings, getSetting, getSettings, getXmlPath, makeBooleanSetting, makeDoubleSetting, makeIntSetting, makeLongSetting, makeStringSetting, node, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Setting.RootGroup()
Method Detail |
---|
public static Setting.RootGroup newEmptyGroup()
public boolean isLocked()
public void lock()
public void write(IdWriter writer) throws java.io.IOException
writer
- IdManager writer
java.io.IOException
- om writer error
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |