Commit d1818899 authored by Sarah Grebing's avatar Sarah Grebing

fixed error after merging

parent 7e1fbb84
Pipeline #11465 failed with stage
in 2 minutes and 28 seconds
......@@ -67,8 +67,8 @@ public class ProgramFlowVisitor extends DefaultASTVisitor<Void> {
lastNode = currentNode;
CommandLookup lookup = inter.getFunctionLookup();
boolean atomic = lookup.isAtomic(call);
boolean atomic = functionLookup.isAtomic(call);
//Annahme: wenn ich zwischendrin keine return kante habe, dann wird solange durchgegangen, bis eine return kante da ist
......@@ -76,7 +76,7 @@ public class ProgramFlowVisitor extends DefaultASTVisitor<Void> {
graph.putEdgeValue(currentNode, lastNode, EdgeTypes.STEP_INTO);
// graph.putEdgeValue(lastNode, currentNode, EdgeTypes.STEP_RETURN);
ProofScriptHandler psh = (ProofScriptHandler) lookup.getBuilder(call);
ProofScriptHandler psh = (ProofScriptHandler) functionLookup.getBuilder(call);
psh.getScript(call.getCommand()).getBody().accept(this);
//verbinde letzten knoten aus auruf mi step return zu aktuellem knoten
......
......@@ -48,7 +48,8 @@ public class ProofTreeController {
mainScript.accept(visitor);
this.controlFlowGraph = visitor.getGraph();
System.out.println(controlFlowGraph);
System.out.println(visitor.asdot());
// System.out.println(controlFlowGraph);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment