started to include edges from controlflowgraph

9dca4cfc · Sarah Grebing · dabdebca · 9dca4cfc
Commit 9dca4cfc authored Oct 27, 2017 by Sarah Grebing
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java ...ti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java +2 -2

No files found.
--- a/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java
+++ b/rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java
@@ -285,14 +285,14 @@ public class StateGraphWrapper<T> {
        Collection<Pair<ControlFlowNode, EdgeTypes>> predecessorsAndTheirEdges = cfgVisitor.getPredecessorsAndTheirEdges(newStateNode.getScriptStmt());

        for (Pair<ControlFlowNode, EdgeTypes> predecessorsAndTheirEdge : predecessorsAndTheirEdges) {
-            if (predecessorsAndTheirEdge.getKey().equals(lastNode.getScriptStmt())) {
+            if (predecessorsAndTheirEdge.getKey().getScriptstmt().equals(lastNode.getScriptStmt())) {
                stateGraph.putEdgeValue(lastNode, newStateNode, predecessorsAndTheirEdge.getValue());
            }
        }

        Collection<Pair<ControlFlowNode, EdgeTypes>> predecessorsAsTarget = cfgVisitor.getPredecessorsAsTarget(node);
        for (Pair<ControlFlowNode, EdgeTypes> predecessorAsTarget : predecessorsAsTarget) {
-            if (predecessorAsTarget.getKey().equals(lastNode.getScriptStmt())) {
+            if (predecessorAsTarget.getKey().getScriptstmt().equals(lastNode.getScriptStmt())) {
                stateGraph.putEdgeValue(newStateNode, lastNode, predecessorAsTarget.getValue());
            }