public class HlddSpecSmvPrinter extends HlddSmvPrinterBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID |
static Parameter |
SPECIFICATION_FILE_NAME
The command-line parameter.
|
OUT_TYPE, SMV_FILE_NAME
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
HlddSpecSmvPrinter()
Constructs a new printer engine.
|
Modifier and Type | Method and Description |
---|---|
protected void |
configureVisitor(java.util.Map<EntityType,Entity> inputs,
Arguments args,
HlddVisitor visitor) |
protected HlddVisitor |
getVisitor(java.lang.String fileName) |
start, walkModel
getSmvFileName
addBackend, addInputType, addParameter, deactivateBackends, debugWrite, debugWrite, defines, disableAllBackends, enableAllBackends, equals, getBackends, getId, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, isDebugMode, parseCommandLine, setDebugMode, setOutputType, start, toString
public static final java.lang.String ENGINE_ID
public static final Parameter SPECIFICATION_FILE_NAME
protected HlddVisitor getVisitor(java.lang.String fileName)
getVisitor
in class HlddSmvPrinterBase
protected void configureVisitor(java.util.Map<EntityType,Entity> inputs, Arguments args, HlddVisitor visitor)
configureVisitor
in class HlddSmvPrinterBase