public class CfgGraphMlPrinter 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 |
---|
CfgGraphMlPrinter()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDefaultFileName()
Returns the default name for file is created by the printer.
|
void |
initVisitor(java.lang.String fileName)
Initialize visitor with the graphML file name.
|
void |
print(java.lang.String fileName,
CfgModel cfg)
Print the control flow graph 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
public void initVisitor(java.lang.String fileName)
initVisitor
in class PrinterWalkerEngine
fileName
- Output file name.public void print(java.lang.String fileName, CfgModel cfg)
fileName
- Output file name.cfg
- Control flow graph to print.public java.lang.String getDefaultFileName()
PrinterEngine