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