de.uka.ilkd.key.settings

Class ProofIndependentSettings

java.lang.Object

de.uka.ilkd.key.settings.ProofIndependentSettings

All Implemented Interfaces:

SettingsListener

public class ProofIndependentSettings
extends java.lang.Object
implements SettingsListener

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProofIndependentSettings(java.lang.String filename)

Method Summary

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.

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_INSTANCE

public static final ProofIndependentSettings DEFAULT_INSTANCE

smtSettings

private final ProofIndependentSMTSettings smtSettings

lemmaGeneratorSettings

private final LemmaGeneratorSettings lemmaGeneratorSettings

generalSettings

private final GeneralSettings generalSettings

viewSettings

private final ViewSettings viewSettings

filename

private final java.lang.String filename

testGenSettings

private final TestGenerationSettings testGenSettings

settingsSet

private final Settings[] settingsSet

Constructor Detail

ProofIndependentSettings

private ProofIndependentSettings(java.lang.String filename)

Method Detail

settingsChanged

public void settingsChanged(java.util.EventObject e)

Description copied from interface: SettingsListener

called by the Settings object to inform the listener that its state has changed

Specified by:

settingsChanged in interface SettingsListener

Parameters:

e - the Event sent to the listener

loadSettings

private void loadSettings()

load

private void load(java.io.File file)
           throws java.io.IOException

Throws:

java.io.IOException

saveSettings

public void saveSettings()

getGeneralSettings

public GeneralSettings getGeneralSettings()

getViewSettings

public ViewSettings getViewSettings()

getLemmaGeneratorSettings

public LemmaGeneratorSettings getLemmaGeneratorSettings()

getSMTSettings

public ProofIndependentSMTSettings getSMTSettings()

getTestGenerationSettings

public TestGenerationSettings getTestGenerationSettings()

isUsePrettyPrinting

public static boolean isUsePrettyPrinting()

Checks if pretty printing is enabled or not.

Returns:

true pretty printing is enabled, false pretty printing is disabled.

setUsePrettyPrinting

public static void setUsePrettyPrinting(boolean usePrettyPrinting)

Defines if pretty printing is enabled or not.

Parameters:

usePrettyPrinting - true pretty printing is enabled, false pretty printing is disabled.