public class CfgGraphMlPrinter extends CfgEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine identifier.
|
static Parameter |
OUT_FILE_NAME
The command line parameters.
|
static EntityType |
OUT_TYPE
The engine output entity type.
|
Constructor and Description |
---|
CfgGraphMlPrinter()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
Entity |
getOutput()
Returns engine output entity.
|
void |
initGraphMlVisitor(java.lang.String visitorName)
Initialize visitor with the graphML file name.
|
void |
initialize(java.util.Map<EntityType,Entity> inputs)
Initializes engine with the specified inputs.
|
void |
print(java.lang.String fileName,
CfgModel cfg)
Print the control flow graph to GraphML file.
|
getInitVisitor, getWalkers, 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 initialize(java.util.Map<EntityType,Entity> inputs)
CfgEngine
initialize
in class CfgEngine
inputs
- Engine inputspublic void initGraphMlVisitor(java.lang.String visitorName)
visitorName
- the output file name.public Entity getOutput()
CfgEngine
public void print(java.lang.String fileName, CfgModel cfg)
fileName
- the output file name.cfg
- control flow graph to print.