public class LemmataAutoModeOptions extends Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_MAXRULES |
static int |
DEFAULT_TIMEOUT |
private Collection<String> |
filesForAxioms |
private String |
homePath |
private String |
internalVersion
Contains the internal version of KeY.
|
private int |
maxRules
The maximum number of rules that are used within a proof.
|
private String |
pathOfDefinitionFile |
private String |
pathOfResult |
private String |
pathOfRuleFile
The path of the file containing the rules that should be proven.
|
private PrintStream |
printStream |
private static String |
PROOF_POSTFIX |
private boolean |
saveResultsToFile
If this option is activated, the resulting proofs are stored in files
within the folder
pathOfResult . |
private long |
timeout
The time out for each proof.
|
Constructor and Description |
---|
LemmataAutoModeOptions(CommandLine cl,
String internalVersion) |
LemmataAutoModeOptions(CommandLine cl,
String internalVersion,
String homePath) |
Modifier and Type | Method and Description |
---|---|
private void |
checkForValidity() |
String |
createProofPath(Proof p) |
private String |
generatePath(String path,
String reference) |
Collection<String> |
getFilesForAxioms() |
String |
getHomePath() |
String |
getInternalVersion() |
int |
getMaxNumberOfRules() |
String |
getPathOfDefinitionFile() |
String |
getPathOfRuleFile() |
PrintStream |
getPrintStream() |
long |
getTimeout() |
boolean |
isSavingResultsToFile() |
private void |
read(CommandLine cl) |
private boolean |
readBoolean(String value,
boolean def) |
private void |
throwError(String error) |
String |
toString() |
public static final int DEFAULT_TIMEOUT
public static final int DEFAULT_MAXRULES
private static final String PROOF_POSTFIX
private String pathOfRuleFile
private Collection<String> filesForAxioms
private long timeout
timeout<0
no time out is
used.private int maxRules
private String pathOfResult
private String pathOfDefinitionFile
private PrintStream printStream
private final String internalVersion
private boolean saveResultsToFile
pathOfResult
.private String homePath
public LemmataAutoModeOptions(CommandLine cl, String internalVersion)
public LemmataAutoModeOptions(CommandLine cl, String internalVersion, String homePath)
private void read(CommandLine cl)
private boolean readBoolean(String value, boolean def)
public String getPathOfDefinitionFile()
public String getHomePath()
public boolean isSavingResultsToFile()
public String getPathOfRuleFile()
public int getMaxNumberOfRules()
public long getTimeout()
public PrintStream getPrintStream()
public String getInternalVersion()
private void checkForValidity()
private void throwError(String error)
public Collection<String> getFilesForAxioms()