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

java.lang.Object
  extended by 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()