public abstract class HlddSmvPrinterBase extends SmvPrinterEngine
OUT_TYPE, SMV_FILE_NAME
DISABLE_BACKENDS, NO_BACKEND
Modifier | Constructor and Description |
---|---|
protected |
HlddSmvPrinterBase(java.lang.String engineId) |
Modifier and Type | Method and Description |
---|---|
protected abstract void |
configureVisitor(java.util.Map<EntityType,Entity> inputs,
Arguments args,
HlddVisitor visitor) |
protected abstract HlddVisitor |
getVisitor(java.lang.String fileName) |
Entity |
start(java.util.Map<EntityType,Entity> inputs)
Processes entities of the input types and produces an entity of the output type.
|
protected void |
walkModel(java.lang.String fileName,
HlddModel model,
java.util.Map<EntityType,Entity> inputs,
Arguments arguments) |
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 Entity start(java.util.Map<EntityType,Entity> inputs)
Engine
protected void walkModel(java.lang.String fileName, HlddModel model, java.util.Map<EntityType,Entity> inputs, Arguments arguments)
protected abstract HlddVisitor getVisitor(java.lang.String fileName)
protected abstract void configureVisitor(java.util.Map<EntityType,Entity> inputs, Arguments args, HlddVisitor visitor)