public class EfsmGraphMlPrinter extends EfsmEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static Parameter |
OUT_FILE_NAME
The output GraphML-file-name command line parameter.
|
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 fileName)
Initializes visitor with the GraphML file name.
|
void |
initialise(java.util.Map<EntityType,Entity> inputs)
Initialises this EFSM engine with the specified inputs.
|
static void |
print(java.lang.String fileName,
EfsmModel efsm)
Prints 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 OUT_FILE_NAME
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 fileName)
fileName
- the output GraphML file name.public Entity getOutput()
EfsmEngine
getOutput
in class EfsmEngine