Ares
Ares copied to clipboard
Add complex recursion AST check functionality
Added new JavaParser methods to create a method call graph and detect recursion via cycles in the graph
- Added
UnknownRecursionAssert
withhasRecursion()
,hasNoRecursion()
methods -
MethodCallGraph
class representing the Graph that is produced -VoidVisitorAdapter
to traverse the nodes in theCompilationUnit
of AST. - Added
excludeMethods(Method... methods)
to exclude wished nodes from theMethodCallGraph
- Added
startingNode(Method method)
to determine a starting node, when checking for Recursion within a method, via DFS traverse the tree. - Added tests for the correctness of the implementation