de.uka.ilkd.key.settings

Class LemmaGeneratorSettings

java.lang.Object

de.uka.ilkd.key.settings.LemmaGeneratorSettings

All Implemented Interfaces:

Settings, java.lang.Cloneable

public class LemmaGeneratorSettings
extends java.lang.Object
implements Settings, java.lang.Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.LinkedList<SettingsListener>	listeners
private static java.lang.String	SHOW_DIALOG_ADDING_AXIOMS
private static java.lang.String	SHOW_DIALOG_USING_AXIOMS
private boolean	showDialogAddingAxioms
private boolean	showDialogUsingAxioms

Constructor Summary

Constructors

Constructor and Description
LemmaGeneratorSettings()

Method Summary

Modifier and Type	Method and Description
void	addSettingsListener(SettingsListener l) adds a listener to the settings object
private void	fireSettingsChanged()
boolean	isShowingDialogAddingAxioms()
boolean	isShowingDialogUsingAxioms()
void	readSettings(java.lang.Object sender, java.util.Properties props) gets a Properties object and has to perform the necessary steps in order to change this object in a way that it represents the stored settings sender is the object calling this method.
void	showDialogAddingAxioms(boolean value)
void	showDialogUsingAxioms(boolean value)
void	writeSettings(java.lang.Object sender, java.util.Properties props) The settings to store are written to the given Properties object.

Methods inherited from class java.lang.Object

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

Field Detail

listeners

private java.util.LinkedList<SettingsListener> listeners

showDialogAddingAxioms

private boolean showDialogAddingAxioms

showDialogUsingAxioms

private boolean showDialogUsingAxioms

SHOW_DIALOG_ADDING_AXIOMS

private static final java.lang.String SHOW_DIALOG_ADDING_AXIOMS

See Also:

Constant Field Values

SHOW_DIALOG_USING_AXIOMS

private static final java.lang.String SHOW_DIALOG_USING_AXIOMS

See Also:

Constant Field Values

Constructor Detail

LemmaGeneratorSettings

public LemmaGeneratorSettings()

Method Detail

fireSettingsChanged

private void fireSettingsChanged()

isShowingDialogAddingAxioms

public boolean isShowingDialogAddingAxioms()

showDialogAddingAxioms

public void showDialogAddingAxioms(boolean value)

isShowingDialogUsingAxioms

public boolean isShowingDialogUsingAxioms()

showDialogUsingAxioms

public void showDialogUsingAxioms(boolean value)

addSettingsListener

public void addSettingsListener(SettingsListener l)

Description copied from interface: Settings

adds a listener to the settings object

Specified by:

addSettingsListener in interface Settings

Parameters:

l - the listener

readSettings

public void readSettings(java.lang.Object sender,
                         java.util.Properties props)

Description copied from interface: Settings

gets a Properties object and has to perform the necessary steps in order to change this object in a way that it represents the stored settings sender is the object calling this method.

Specified by:

readSettings in interface Settings

writeSettings

public void writeSettings(java.lang.Object sender,
                          java.util.Properties props)

Description copied from interface: Settings

The settings to store are written to the given Properties object.

Specified by:

writeSettings in interface Settings

props - the Properties object where to write the settings as (key, value) pair sender is the object calling this method.