org.annotation.gui
Class PreferencesManager

java.lang.Object
  org.annotation.gui.PreferencesManager

public class PreferencesManager

extends java.lang.Object

Method Summary

void	clearValues()
void	commitChanges()
java.lang.String[]	getChildren(java.lang.String path)
static PreferencesManager	getInstance()
java.lang.String[]	getPath(java.lang.String path)
java.lang.String	getValue(java.lang.Class owner, java.lang.String name)
java.lang.String	getValue(java.lang.String name)
static void	main(java.lang.String[] args)
void	resetPrefs()
void	setValue(java.lang.Class owner, java.lang.String name, java.lang.String value)
void	write(java.io.Writer writer)
void	writePrefs(java.lang.String path, java.lang.String indentation)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static PreferencesManager getInstance()

getChildren

public java.lang.String[] getChildren(java.lang.String path)

getValue

public java.lang.String getValue(java.lang.String name)

getValue

public java.lang.String getValue(java.lang.Class owner,
                                 java.lang.String name)

setValue

public void setValue(java.lang.Class owner,
                     java.lang.String name,
                     java.lang.String value)

clearValues

public void clearValues()

resetPrefs

public void resetPrefs()

commitChanges

public void commitChanges()

getPath

public java.lang.String[] getPath(java.lang.String path)

write

public void write(java.io.Writer writer)

writePrefs

public void writePrefs(java.lang.String path,
                       java.lang.String indentation)

main

public static void main(java.lang.String[] args)