public class CfgPrinter extends Object
Constructor and Description |
---|
CfgPrinter(Cfg graph) |
Modifier and Type | Method and Description |
---|---|
protected void |
appendEdgeInfo(StringBuilder result,
CfgEdge edge)
Template method to append arbitrary edge information.
|
String |
print() |
public CfgPrinter(Cfg graph)
public String print()
protected void appendEdgeInfo(StringBuilder result, CfgEdge edge)
Copyright © 2018. All rights reserved.