public abstract class SmvPrinterEngine extends Engine
Modifier and Type | Field and Description |
---|---|
static EntityType |
OUT_TYPE
The engine output entity type.
|
static Parameter |
SMV_FILE_NAME
The command-line parameter.
|
DISABLE_BACKENDS, NO_BACKEND
Modifier | Constructor and Description |
---|---|
protected |
SmvPrinterEngine(java.lang.String engineId) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getSmvFileName(Arguments arguments) |
addBackend, addInputType, addParameter, deactivateBackends, debugWrite, debugWrite, defines, disableAllBackends, enableAllBackends, equals, getBackends, getId, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, isDebugMode, parseCommandLine, setDebugMode, setOutputType, start, start, toString
public static final EntityType OUT_TYPE
public static final Parameter SMV_FILE_NAME
protected java.lang.String getSmvFileName(Arguments arguments)