public final class Retrascope
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Retrascope.Run
The tool run information.
|
Modifier and Type | Field and Description |
---|---|
static Parameter |
ENGINE_PARAM |
static java.lang.String |
FORMAT
The command line format.
|
static Parameter |
HELP_PARAM |
static Parameter |
LOG_LEVEL |
static Parameter |
LOG_PARAM |
static Parameters |
PARAMETERS |
static Parameter |
SOLVER_DEBUG_PARAM |
static java.lang.String |
SOLVER_PATH_PROPERTY
The name of the solver path property.
|
static java.lang.String |
SOLVER_PATH_VARIABLE
The name of the solver path environment variable.
|
static Parameter |
TARGET_PARAM
The command line parameters.
|
Constructor and Description |
---|
Retrascope() |
Modifier and Type | Method and Description |
---|---|
static Configuration |
getConfiguration()
Returns the tool configuration.
|
static EngineRegistry |
getEngineRegistry()
Returns the engine registry.
|
static Retrascope.Run |
getRun(java.lang.String[] args)
Analyzes the command line and returns the run information.
|
static void |
main(java.lang.String[] args)
Configures and runs the tool chain.
|
static void |
main(java.lang.String[] args,
EngineEventHandler eventHandler)
Configures and runs the tool chain.
|
public static final java.lang.String FORMAT
public static final java.lang.String SOLVER_PATH_PROPERTY
public static final java.lang.String SOLVER_PATH_VARIABLE
public static final Parameter TARGET_PARAM
public static final Parameter ENGINE_PARAM
public static final Parameter LOG_PARAM
public static final Parameter LOG_LEVEL
public static final Parameter HELP_PARAM
public static final Parameter SOLVER_DEBUG_PARAM
public static final Parameters PARAMETERS
public static EngineRegistry getEngineRegistry()
public static Configuration getConfiguration()
public static Retrascope.Run getRun(java.lang.String[] args)
args
- the command line.public static void main(java.lang.String[] args, EngineEventHandler eventHandler)
args
- the command line.eventHandler
- the engine event handler.public static void main(java.lang.String[] args)
args
- the command line.