public class EfsmGraphMlPrinter extends EfsmEngine
Modifier and Type | Field and Description |
---|---|
static Parameter |
EFSM_PARAM
The output GraphML-file-name command line parameter.
|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static EntityType |
OUT_TYPE
The engine output entity type.
|
visitor
Constructor and Description |
---|
EfsmGraphMlPrinter()
The default constructor.
|
Modifier and Type | Method and Description |
---|---|
Entity |
getOutput()
Returns an output entity of this engine.
|
void |
initGraphMlVisitor(java.lang.String visitorName)
Initialize visitor with the graphML file name.
|
void |
initialise(java.util.Map<EntityType,Entity> inputs)
Initialises this EFSM engine with the specified inputs.
|
void |
print(java.lang.String fileName,
EfsmModel efsm)
Print the specified
EfsmModel model to GraphML file. |
start
addBackend, addInputType, addParameter, defines, equals, getId, getInputTypes, getLogger, getOutputType, getParameters, hasBackends, hashCode, parseCommandLine, runBackends, setOutputType, setProgress, start, toString, uses
public static final java.lang.String ENGINE_ID
public static final EntityType OUT_TYPE
public static final Parameter EFSM_PARAM
public void initialise(java.util.Map<EntityType,Entity> inputs)
EfsmEngine
initialise
in class EfsmEngine
inputs
- a map containing mappings between entity types and corresponding entitiespublic void initGraphMlVisitor(java.lang.String visitorName)
visitorName
- the output graphML file name.public Entity getOutput()
EfsmEngine
getOutput
in class EfsmEngine