public class EfsmGraphMlPrinter extends GraphMlPrinterEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static EntityType |
OUT_TYPE
The engine output entity type.
|
OUT_FILE_NAME
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
EfsmGraphMlPrinter()
The default constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDefaultFileName()
Returns the default name for file is created by the printer.
|
protected void |
initVisitor(java.lang.String fileName)
Initializes visitor with the spcified file name.
|
static void |
print(java.lang.String fileName,
EfsmModel efsm)
Prints the specified
EfsmModel model to GraphML file. |
getOutFileExt, getOutFileName
getOutput, initialize
getInitVisitor, getWalkers, setWalkers, start
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 EntityType OUT_TYPE
protected void initVisitor(java.lang.String fileName)
PrinterWalkerEngine
initVisitor
in class PrinterWalkerEngine
fileName
- The string name for output file.public static void print(java.lang.String fileName, EfsmModel efsm)
EfsmModel
model to GraphML file.fileName
- the output file nameefsm
- extended finite state machine model to be printedpublic java.lang.String getDefaultFileName()
PrinterEngine