public final class Main
extends java.lang.Object
This has been extracted from MainWindow to keep GUI and control further apart.
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
JFILE_FOR_AXIOMS |
static java.lang.String |
JFILE_FOR_DEFINITION |
static java.lang.String |
JKEY_PREFIX |
static java.lang.String |
JMAX_RULES |
static java.lang.String |
JPATH_OF_RESULT |
static java.lang.String |
JPRINT |
static java.lang.String |
JSAVE_RESULTS_TO_FILE |
static java.lang.String |
JTIMEOUT |
static java.lang.String |
JUSTIFY_RULES |
static boolean |
showExampleChooserIfExamplesDirIsDefined
This flag indicates if the example chooser should be shown
if
examplesDir is defined (not null ). |
Constructor and Description |
---|
Main() |
Modifier and Type | Method and Description |
---|---|
static void |
ensureExamplesAvailable() |
static void |
evaluateOptions(CommandLine cl)
Evaluate the commandline options
|
static java.lang.String |
getExamplesDir() |
static KeYDesktop |
getKeyDesktop()
Returns the
KeYDesktop to use. |
static java.io.File |
getWorkingDir()
Used by
KeYFileChooser (and potentially
others) to determine working directory. |
static boolean |
isExperimentalMode() |
static void |
loadCommandLineFiles(AbstractMediatorUserInterfaceControl ui,
java.util.List<java.io.File> fileArguments) |
static void |
main(java.lang.String[] args) |
static void |
printUsageAndExit(boolean printUsage,
java.lang.String offending,
int exitValue) |
static void |
setEnabledExperimentalFeatures(boolean state)
Deactivate experimental features.
|
static void |
setExamplesDir(java.lang.String newExamplesDir)
Defines the examples directory.
|
static void |
setKeyDesktop(KeYDesktop keyDesktop)
Sets the
KeYDesktop to use. |
public static final java.lang.String JUSTIFY_RULES
public static final java.lang.String JKEY_PREFIX
public static final java.lang.String JMAX_RULES
public static final java.lang.String JPATH_OF_RESULT
public static final java.lang.String JTIMEOUT
public static final java.lang.String JPRINT
public static final java.lang.String JSAVE_RESULTS_TO_FILE
public static final java.lang.String JFILE_FOR_AXIOMS
public static final java.lang.String JFILE_FOR_DEFINITION
public static boolean showExampleChooserIfExamplesDirIsDefined
This flag indicates if the example chooser should be shown
if examplesDir
is defined (not null
). It is set
in the Eclipse integration to false
, because it is required
to define the path to a different one without showing the chooser.
Conclusion: It must be possible to use KeY with a custom examples directory without show in the chooser on startup.
public static void main(java.lang.String[] args)
public static void loadCommandLineFiles(AbstractMediatorUserInterfaceControl ui, java.util.List<java.io.File> fileArguments)
public static void evaluateOptions(CommandLine cl)
cl
- parsed command lines, not nullpublic static void setEnabledExperimentalFeatures(boolean state)
public static boolean isExperimentalMode()
public static void ensureExamplesAvailable()
public static void printUsageAndExit(boolean printUsage, java.lang.String offending, int exitValue)
public static java.io.File getWorkingDir()
KeYFileChooser
(and potentially
others) to determine working directory. In case there is at least one
location (i.e. a file or directory) specified as command line argument,
working directory is determined based on first location that occurred in
the list of arguments. Otherwise, value of System.getProperty("user.home")
is used to determine working directory.File
object representing working directory.public static java.lang.String getExamplesDir()
public static void setExamplesDir(java.lang.String newExamplesDir)
newExamplesDir
- The new examples directory to use.public static KeYDesktop getKeyDesktop()
KeYDesktop
to use. Never use Desktop
directly because the KeYDesktop
is different in Eclipse.KeYDesktop
to use.public static void setKeyDesktop(KeYDesktop keyDesktop)
KeYDesktop
to use.keyDesktop
- The new KeYDesktop
to use.Copyright © 2003-2019 The KeY-Project.