dataflow

Class MethodNodeHandler

java.lang.Object

dataflow.MethodNodeHandler

public class MethodNodeHandler
extends Object

Class for handling JavaParser Nodes while filling a DataFlowMethod.

Author:

Daan

Constructor Summary

Constructors

Constructor and Description
MethodNodeHandler()

Method Summary

Modifier and Type	Method and Description
Optional<DataFlowNode>	handleNode(DataFlowGraph graph, DataFlowMethod method, Map<com.github.javaparser.ast.Node,DataFlowNode> overriddenValues, com.github.javaparser.ast.Node n, OwnedNode<?> owner) Recursively creates new DataFlowNode or finds existing ones and creates DataFlowEdge between those nodes if needed.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodNodeHandler

public MethodNodeHandler()

Method Detail

handleNode

public Optional<DataFlowNode> handleNode(DataFlowGraph graph,
                                         DataFlowMethod method,
                                         Map<com.github.javaparser.ast.Node,DataFlowNode> overriddenValues,
                                         com.github.javaparser.ast.Node n,
                                         OwnedNode<?> owner)

Recursively creates new DataFlowNode or finds existing ones and creates DataFlowEdge between those nodes if needed. This is done within the scope of a single method. This method assumes all methods to already exist in the DataFlowGraph, including the DataFlowNodes for the input parameters and return value. If external method calls are done, NodeCalls representing them will also be created.

Parameters:

graph - DataFlowGraph

method - DataFlowMethod to add DataFlowNode to

overriddenValues - The values that have been overridden in previous iterations.

n - The Node to handle. ChildNodes will recursively be handled if needed.

owner - The owner for the node to be created. This variable might be removed later, giving the caller of this method the responsibility to set the owner.

Returns:

An optional of the DataFlowNode of the input node. If multiple head nodes are created, (In case of a BlockStmt) the optional will be empty.