public class PathConfig extends 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 String |
KEY_DIRECTORY_NAME
The default name of the directory that contains KeY settings.
|
private static String |
keyConfigDir
directory where to find the KeY configuration files
|
static String |
proofIndependentSettings |
static String |
recentFileStorage
In which file to store the recent files.
|
Constructor and Description |
---|
PathConfig() |
Modifier and Type | Method and Description |
---|---|
static String |
getKeyConfigDir()
Returns the path to the directory that contains KeY configuration files.
|
static String |
getProofIndependentSettings()
Returns the path to the file that is used to store proof independent settings.
|
static String |
getRecentFileStorage()
Returns the path to the file that is used to store recent files.
|
static void |
setKeyConfigDir(String keyConfigDir)
Sets the path to the directory that contains KeY configuration files.
|
public static final String KEY_DIRECTORY_NAME
private static String keyConfigDir
public static String recentFileStorage
public static String proofIndependentSettings
public static String getKeyConfigDir()
public static void setKeyConfigDir(String keyConfigDir)
keyConfigDir
- The new directory to use.public static String getRecentFileStorage()
public static String getProofIndependentSettings()