summaryrefslogtreecommitdiff
path: root/vaporize/library/ControlFlowGraph.java
diff options
context:
space:
mode:
authorbd-912 <bdunahu@colostate.edu>2024-04-20 00:23:21 -0600
committerbd-912 <bdunahu@colostate.edu>2024-04-20 00:23:21 -0600
commit63551aff281f1d289605fe2c9975a15124dbe643 (patch)
tree5d016ed04908d8fcf492c3bcefedfcb43c312b2c /vaporize/library/ControlFlowGraph.java
parent18da70342efb2114042c8ad5fae089cef6e69862 (diff)
Fun with GraphViz
Diffstat (limited to 'vaporize/library/ControlFlowGraph.java')
-rw-r--r--vaporize/library/ControlFlowGraph.java13
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) {