public final class Retrascope
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Retrascope.ToolRun
The tool run information.
|
Modifier and Type | Field and Description |
---|---|
static Parameter |
ENGINE_PARAM |
static java.lang.String |
FORMAT |
static Parameter |
HELP_PARAM |
static Parameter |
LOG_LEVEL |
static Parameter |
LOG_PARAM |
static Parameters |
PARAMETERS |
static Parameter |
SOLVER_DEBUG |
static java.lang.String |
SOLVER_PROPERTY |
static java.lang.String |
SOLVER_VARIABLE |
static Parameter |
TARGET_PARAM |
static Parameter |
TOOL_DEBUG_PARAM |
Modifier and Type | Method and Description |
---|---|
static Configuration |
getConfiguration()
Returns the tool configuration.
|
static EngineRegistry |
getEngineRegistry()
Returns the engine registry.
|
static Retrascope.ToolRun |
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_PROPERTY
public static final java.lang.String SOLVER_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
public static final Parameter TOOL_DEBUG_PARAM
public static final Parameters PARAMETERS
public static EngineRegistry getEngineRegistry()
public static Configuration getConfiguration()
public static Retrascope.ToolRun getRun(java.lang.String[] args)
args
- the command line.public static void main(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.