public class PathConfig
extends java.lang.Object
Keeps some central paths to files and directories.
By default all KeY configurations are stored in a directory named ".key"
inside the user's home directory. In Microsoft windows operating systems
this is directly the hard disc that contains the KeY code.
But the eclipse integration requires to change the default location.
This is possible via setKeyConfigDir(String)
which should be
called once before something is done with KeY (e.g. before the
MainWindow
is opened).
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DISREGARD_SETTINGS_PROPERTY
The Java system property used to indicate that the
settings in the KeY directory should not be consulted
at startup.
|
static java.lang.String |
KEY_DIRECTORY_NAME
The default name of the directory that contains KeY settings.
|
private static java.lang.String |
keyConfigDir
directory where to find the KeY configuration files
|
static java.lang.String |
proofIndependentSettings |
static java.lang.String |
recentFileStorage
In which file to store the recent files.
|
Constructor and Description |
---|
PathConfig() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getKeyConfigDir()
Returns the path to the directory that contains KeY configuration files.
|
static java.lang.String |
getProofIndependentSettings()
Returns the path to the file that is used to store proof independent settings.
|
static java.lang.String |
getRecentFileStorage()
Returns the path to the file that is used to store recent files.
|
static void |
setKeyConfigDir(java.lang.String keyConfigDir)
Sets the path to the directory that contains KeY configuration files.
|
public static final java.lang.String DISREGARD_SETTINGS_PROPERTY
public static final java.lang.String KEY_DIRECTORY_NAME
private static java.lang.String keyConfigDir
public static java.lang.String recentFileStorage
public static java.lang.String proofIndependentSettings
public static java.lang.String getKeyConfigDir()
public static void setKeyConfigDir(java.lang.String keyConfigDir)
keyConfigDir
- The new directory to use.public static java.lang.String getRecentFileStorage()
public static java.lang.String getProofIndependentSettings()