Added support for node subtypes
Created by: jacosro
Changes:
- Added
is
method inNodeType
enum. Usage:subType.is(nodeType)
will return true ifsubtype
is a subtype oftype
. - Added
METHOD_CALL_RETURN
as subtype ofACTUAL_OUT
- Added
METHOD_OUTPUT
as subtype ofFORMAL_OUT
- Some changes on parameter generic types in
NaiveSummaryArcsBuilder
:GraphNode<ExpressionStmt>
->GraphNode<?>
, because AST nodes ofoutput
nodes are notExpressionStmt
With these changes, summary arcs for output
nodes are generated, as they are treated like FORMAL_OUT
and ACTUAL_OUT