com.sun.electric.database.text
Class Pref.Group

java.lang.Object
  com.sun.electric.database.text.Pref.Group

Enclosing class:

Pref

public static class Pref.Group
extends java.lang.Object

Method Summary

java.util.Collection<Pref>	getPrefs()
void	lockCreation() Prefs can be created only at initialization phase.
java.lang.String	relativePath()
void	setCachedObjsFromPreferences()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

relativePath

public java.lang.String relativePath()

getPrefs

public java.util.Collection<Pref> getPrefs()

lockCreation

public void lockCreation()

Prefs can be created only at initialization phase. This method forbids further cration of Prefs.

setCachedObjsFromPreferences

public void setCachedObjsFromPreferences()