com.sun.electric.database.text
Class Setting.RootGroup

java.lang.Object
  com.sun.electric.database.text.Setting.Group
      com.sun.electric.database.text.Setting.RootGroup

Enclosing class:

Setting

public static class Setting.RootGroup
extends Setting.Group

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

Setting.RootGroup

public Setting.RootGroup()

Constructs a root of empty tree of Settings

Method Detail

newEmptyGroup

public static Setting.RootGroup newEmptyGroup()

Returns empty locked RootGroup

Returns:

empty locked RootGroup

isLocked

public boolean isLocked()

Returns true if tree can't be modified anymore

Returns:

true if tree is locked

lock

public void lock()

Locks the tree

write

public void write(IdWriter writer)
           throws java.io.IOException

Writes this Tree of Settings to IdManager writer

Parameters:

writer - IdManager writer

Throws:

java.io.IOException - om writer error