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 and Description |
---|
LemmaGeneratorSettings() |
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.
|
private java.util.LinkedList<SettingsListener> listeners
private boolean showDialogAddingAxioms
private boolean showDialogUsingAxioms
private static final java.lang.String SHOW_DIALOG_ADDING_AXIOMS
private static final java.lang.String SHOW_DIALOG_USING_AXIOMS
private void fireSettingsChanged()
public boolean isShowingDialogAddingAxioms()
public void showDialogAddingAxioms(boolean value)
public boolean isShowingDialogUsingAxioms()
public void showDialogUsingAxioms(boolean value)
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listenerpublic void readSettings(java.lang.Object sender, java.util.Properties props)
Settings
sender
is the object calling this method.readSettings
in interface Settings
public void writeSettings(java.lang.Object sender, java.util.Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pair
sender
is the object calling this method.