public class PreferencesManager.PrefNode
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
PreferencesManager.PrefNode |
getChild(int idx) |
PreferencesManager.PrefNode |
getChild(java.lang.String name) |
java.util.ArrayList<PreferencesManager.PrefNode> |
getChildren() |
PreferencesManager.PrefNode |
getParent() |
Preferences |
getPrefs() |
int |
numChildren() |
java.lang.String |
toString() |
public Preferences getPrefs()
public int numChildren()
public java.util.ArrayList<PreferencesManager.PrefNode> getChildren()
public PreferencesManager.PrefNode getParent()
public PreferencesManager.PrefNode getChild(java.lang.String name)
public PreferencesManager.PrefNode getChild(int idx)
public java.lang.String toString()
toString
in class java.lang.Object