Modifier and Type | Class and Description |
---|---|
static class |
ProofIndependentSMTSettings.SolverData |
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
ACTIVE_SOLVER |
java.lang.String |
activeSolver |
private SolverTypeCollection |
activeSolverUnion |
boolean |
checkForSupport |
private java.util.HashMap<SolverType,ProofIndependentSMTSettings.SolverData> |
dataOfSolvers |
private static int |
DEFAULT_BIT_LENGTH_FOR_CE_GENERATION |
private static ProofIndependentSMTSettings |
DEFAULT_DATA |
private static java.lang.String |
FIELD_BOUND |
private static java.lang.String |
HEAP_BOUND |
long |
heapBound |
private static java.lang.String |
INT_BOUND |
long |
intBound |
private java.util.Collection<SettingsListener> |
listeners |
private static java.lang.String |
LOCSET_BOUND |
long |
locsetBound |
private static java.lang.String |
MAX_CONCURRENT_PROCESSES |
int |
maxConcurrentProcesses |
int |
modeOfProgressDialog |
private static java.lang.String |
OBJECT_BOUND |
long |
objectBound |
private static java.lang.String |
PATH_FOR_SMT_TRANSLATION |
private static java.lang.String |
PATH_FOR_TACLET_TRANSLATION |
java.lang.String |
pathForSMTTranslation |
java.lang.String |
pathForTacletTranslation |
private static java.lang.String |
PROGRESS_DIALOG_MODE |
static int |
PROGRESS_MODE_CLOSE |
static int |
PROGRESS_MODE_CLOSE_FIRST |
static int |
PROGRESS_MODE_USER |
long |
seqBound |
private static java.lang.String |
SHOW_SMT_RES_DIA |
boolean |
showResultsAfterExecution |
private static java.lang.String |
SOLVER_CHECK_FOR_SUPPORT |
private static java.lang.String |
SOLVER_COMMAND |
private static java.lang.String |
SOLVER_PARAMETERS |
private java.util.LinkedList<SolverTypeCollection> |
solverUnions |
boolean |
storeSMTTranslationToFile |
boolean |
storeTacletTranslationToFile |
long |
timeout |
private static java.lang.String |
TIMEOUT |
Modifier | Constructor and Description |
---|---|
private |
ProofIndependentSMTSettings() |
private |
ProofIndependentSMTSettings(ProofIndependentSMTSettings data) |
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
ProofIndependentSMTSettings |
clone() |
SolverTypeCollection |
computeActiveSolverUnion() |
void |
copy(ProofIndependentSMTSettings data) |
void |
fireSettingsChanged() |
java.lang.String |
getCommand(SolverType type) |
java.util.Collection<ProofIndependentSMTSettings.SolverData> |
getDataOfSolvers() |
static ProofIndependentSMTSettings |
getDefaultSettingsData() |
int |
getMaxConcurrentProcesses() |
java.util.Collection<SolverTypeCollection> |
getSolverUnions() |
java.util.Collection<SolverType> |
getSupportedSolvers() |
java.util.Collection<SolverTypeCollection> |
getUsableSolverUnions() |
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 |
setActiveSolverUnion(SolverTypeCollection solverUnion) |
void |
setCommand(SolverType type,
java.lang.String command) |
void |
setMaxConcurrentProcesses(int maxConcurrentProcesses) |
void |
setParameters(SolverType type,
java.lang.String parameters) |
void |
writeSettings(java.lang.Object sender,
java.util.Properties props)
The settings to store are written to the given Properties object.
|
private static final java.lang.String ACTIVE_SOLVER
private static final java.lang.String TIMEOUT
private static final java.lang.String PATH_FOR_SMT_TRANSLATION
private static final java.lang.String PATH_FOR_TACLET_TRANSLATION
private static final java.lang.String SHOW_SMT_RES_DIA
private static final java.lang.String PROGRESS_DIALOG_MODE
private static final java.lang.String MAX_CONCURRENT_PROCESSES
private static final java.lang.String INT_BOUND
private static final java.lang.String HEAP_BOUND
private static final java.lang.String FIELD_BOUND
private static final java.lang.String OBJECT_BOUND
private static final java.lang.String LOCSET_BOUND
private static final int DEFAULT_BIT_LENGTH_FOR_CE_GENERATION
private static final java.lang.String SOLVER_PARAMETERS
private static final java.lang.String SOLVER_COMMAND
private static final java.lang.String SOLVER_CHECK_FOR_SUPPORT
public static final int PROGRESS_MODE_USER
public static final int PROGRESS_MODE_CLOSE
public static final int PROGRESS_MODE_CLOSE_FIRST
private final java.util.HashMap<SolverType,ProofIndependentSMTSettings.SolverData> dataOfSolvers
public boolean showResultsAfterExecution
public boolean storeSMTTranslationToFile
public boolean storeTacletTranslationToFile
public long timeout
public int maxConcurrentProcesses
public int modeOfProgressDialog
public java.lang.String pathForSMTTranslation
public java.lang.String pathForTacletTranslation
public java.lang.String activeSolver
public long intBound
public long heapBound
public long seqBound
public long objectBound
public long locsetBound
private java.util.Collection<SettingsListener> listeners
private SolverTypeCollection activeSolverUnion
private java.util.LinkedList<SolverTypeCollection> solverUnions
public boolean checkForSupport
private static final ProofIndependentSMTSettings DEFAULT_DATA
private ProofIndependentSMTSettings(ProofIndependentSMTSettings data)
private ProofIndependentSMTSettings()
public int getMaxConcurrentProcesses()
public void setMaxConcurrentProcesses(int maxConcurrentProcesses)
public void copy(ProofIndependentSMTSettings data)
public static ProofIndependentSMTSettings getDefaultSettingsData()
public java.util.Collection<SolverType> getSupportedSolvers()
public java.lang.String getCommand(SolverType type)
public void setCommand(SolverType type, java.lang.String command)
public void setParameters(SolverType type, java.lang.String parameters)
public java.util.Collection<ProofIndependentSMTSettings.SolverData> getDataOfSolvers()
public ProofIndependentSMTSettings clone()
clone
in class java.lang.Object
public 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.public void setActiveSolverUnion(SolverTypeCollection solverUnion)
public SolverTypeCollection computeActiveSolverUnion()
public java.util.Collection<SolverTypeCollection> getUsableSolverUnions()
public java.util.Collection<SolverTypeCollection> getSolverUnions()
public void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listener