diff options
author | bd-912 <bdunahu@colostate.edu> | 2024-04-20 00:23:21 -0600 |
---|---|---|
committer | bd-912 <bdunahu@colostate.edu> | 2024-04-20 00:23:21 -0600 |
commit | 63551aff281f1d289605fe2c9975a15124dbe643 (patch) | |
tree | 5d016ed04908d8fcf492c3bcefedfcb43c312b2c /vaporize/library/ControlFlowGraph.java | |
parent | 18da70342efb2114042c8ad5fae089cef6e69862 (diff) |
Fun with GraphViz
Diffstat (limited to 'vaporize/library/ControlFlowGraph.java')
-rw-r--r-- | vaporize/library/ControlFlowGraph.java | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/vaporize/library/ControlFlowGraph.java b/vaporize/library/ControlFlowGraph.java index c0eff10..364cec1 100644 --- a/vaporize/library/ControlFlowGraph.java +++ b/vaporize/library/ControlFlowGraph.java @@ -37,12 +37,17 @@ public class ControlFlowGraph { this.nodes.add(node); } - protected void addEdge(CFGNode source, CFGNode dest) { - MinimalLogger.info(String.format("Edge %s -> %s", - source.getInstruction().sourcePos.line, - dest.getInstruction().sourcePos.line)); + protected String addEdge(CFGNode source, CFGNode dest) { + String ret = String.format("%d -> %d", + source.getInstruction().sourcePos.line, + dest.getInstruction().sourcePos.line); + MinimalLogger.info(String.format("Edge %s", + ret)); + source.addDest(dest); dest.addSource(source); + + return ret +";"; } protected void setStart(CFGNode start) { |