StackOverflow in ControlFlowVisitor
Caused by: java.lang.StackOverflowError
at java.util.LinkedHashMap.afterNodeInsertion(LinkedHashMap.java:299)
at java.util.HashMap.putVal(HashMap.java:663)
at java.util.HashMap.put(HashMap.java:611)
at com.google.common.graph.MapIteratorCache.put(MapIteratorCache.java:59)
at com.google.common.graph.ConfigurableMutableValueGraph.addNodeInternal(ConfigurableMutableValueGraph.java:70)
at com.google.common.graph.ConfigurableMutableValueGraph.addNode(ConfigurableMutableValueGraph.java:58)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:115)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.CallStatement.accept(CallStatement.java:58)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:98)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.Statements.accept(Statements.java:172)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:134)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.CallStatement.accept(CallStatement.java:58)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:98)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.Statements.accept(Statements.java:172)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:134)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.CallStatement.accept(CallStatement.java:58)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:98)
at edu.kit.formal.interpreter.graphs.ControlFlowVisitor.visit(ControlFlowVisitor.java:16)
at edu.kit.formal.proofscriptparser.ast.Statements.accept(Statements.java:172)
Edited by tk5165