traverseEdge
public boolean traverseEdge(PureFunctionIdentifier.FunctionInformation callee,
Node callSite,
PureFunctionIdentifier.FunctionInformation caller)
Update the state of the destination node when the given edge
is traversed. For the fixed-point computation to work, only the
destination node may be modified. The source node and the edge must
not be modified.
- Specified by:
traverseEdge
in interface FixedPointGraphTraversal.EdgeCallback<PureFunctionIdentifier.FunctionInformation,Node>
- Parameters:
callee
- The start node.
callSite
- The edge.
caller
- The end node.
- Returns:
- Whether the state of the destination node changed.