Package com.tonic.analysis.pdg.sdg.node

The call and parameter nodes that join methods in the system dependence graph.

Class Summary

Class	Description
SDGActualInNode	SDG node for one actual argument passed at a call site.
SDGActualOutNode	SDG node for the value a call site receives back from the callee.
SDGCallNode	System dependence graph node for a call site, holding the actual-in nodes for its arguments, an optional actual-out node, and a link to the callee entry once resolved.
SDGEntryNode	The entry node of one procedure in a system dependence graph, owning that procedure's PDG plus its formal-in and formal-out parameter nodes.
SDGFormalInNode	System dependence graph node for one formal parameter at a method entry; it defines the parameter's SSA value and uses nothing.
SDGFormalOutNode	System dependence graph node for a method's returned value at its exit; it uses the returned SSA value and defines nothing.