de.uka.ilkd.key.util

Class PreferenceSaver.AbstractButtonSaver

java.lang.Object

de.uka.ilkd.key.util.PreferenceSaver.AbstractButtonSaver

All Implemented Interfaces:

PreferenceSaver.Saver<AbstractButton>

Enclosing class:

PreferenceSaver

private static class PreferenceSaver.AbstractButtonSaver
extends Object
implements PreferenceSaver.Saver<AbstractButton>

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AbstractButtonSaver()

Method Summary

Modifier and Type	Method and Description
private static String	getButtonId(AbstractButton component)
void	load(AbstractButton component, Preferences prefs)
void	save(AbstractButton component, Preferences prefs)
Class<AbstractButton>	supportedClass()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractButtonSaver

private AbstractButtonSaver()

Method Detail

getButtonId

private static String getButtonId(AbstractButton component)

load

public void load(AbstractButton component,
                 Preferences prefs)

Specified by:

load in interface PreferenceSaver.Saver<AbstractButton>

save

public void save(AbstractButton component,
                 Preferences prefs)

Specified by:

save in interface PreferenceSaver.Saver<AbstractButton>

supportedClass

public Class<AbstractButton> supportedClass()

Specified by:

supportedClass in interface PreferenceSaver.Saver<AbstractButton>