public class ProofIndependentSettings extends java.lang.Object implements SettingsListener
Modifier and Type | Field and Description |
---|---|
static ProofIndependentSettings |
DEFAULT_INSTANCE |
private java.lang.String |
filename |
private GeneralSettings |
generalSettings |
private LemmaGeneratorSettings |
lemmaGeneratorSettings |
private Settings[] |
settingsSet |
private ProofIndependentSMTSettings |
smtSettings |
private TestGenerationSettings |
testGenSettings |
private ViewSettings |
viewSettings |
Modifier | Constructor and Description |
---|---|
private |
ProofIndependentSettings(java.lang.String filename) |
Modifier and Type | Method and Description |
---|---|
GeneralSettings |
getGeneralSettings() |
LemmaGeneratorSettings |
getLemmaGeneratorSettings() |
ProofIndependentSMTSettings |
getSMTSettings() |
TestGenerationSettings |
getTestGenerationSettings() |
ViewSettings |
getViewSettings() |
static boolean |
isUsePrettyPrinting()
Checks if pretty printing is enabled or not.
|
private void |
load(java.io.File file) |
private void |
loadSettings() |
void |
saveSettings() |
void |
settingsChanged(java.util.EventObject e)
called by the Settings object to inform the listener that its
state has changed
|
static void |
setUsePrettyPrinting(boolean usePrettyPrinting)
Defines if pretty printing is enabled or not.
|
public static final ProofIndependentSettings DEFAULT_INSTANCE
private final ProofIndependentSMTSettings smtSettings
private final LemmaGeneratorSettings lemmaGeneratorSettings
private final GeneralSettings generalSettings
private final ViewSettings viewSettings
private final java.lang.String filename
private final TestGenerationSettings testGenSettings
private final Settings[] settingsSet
private ProofIndependentSettings(java.lang.String filename)
public void settingsChanged(java.util.EventObject e)
SettingsListener
settingsChanged
in interface SettingsListener
e
- the Event sent to the listenerprivate void loadSettings()
private void load(java.io.File file) throws java.io.IOException
java.io.IOException
public void saveSettings()
public GeneralSettings getGeneralSettings()
public ViewSettings getViewSettings()
public LemmaGeneratorSettings getLemmaGeneratorSettings()
public ProofIndependentSMTSettings getSMTSettings()
public TestGenerationSettings getTestGenerationSettings()
public static boolean isUsePrettyPrinting()
true
pretty printing is enabled, false
pretty printing is disabled.public static void setUsePrettyPrinting(boolean usePrettyPrinting)
usePrettyPrinting
- true
pretty printing is enabled,
false
pretty printing is disabled.