XCSG:InterproceduralDataFlow

From AtlasWiki
Revision as of 15:30, 15 September 2014 by TheodoreMurdock (Talk | contribs)

Jump to: navigation, search

Specification

Metaclass InterproceduralDataFlow
Extends DataFlow (Edge)
Description Represents data flows between Functions, or involving Variables visible to multiple Functions.
Permitted Connections
Predecessor Multiplicity Successor
Variable ✱ ➞ ✱ DataFlow (Node)
Assignment ✱ ➞ 0..1 Variable
Specified Connections
Predecessor Multiplicity Successor
ParameterInput ✱ ➞ 1 Parameter
Assignment ✱ ➞ 0..1 ProgramVariable
MasterReturn 1 ➞ ✱ StaticCallSite
MasterReturn 1..✱ ➞ ✱ DynamicCallSite
MasterReturn 1..✱ ➞ ✱ FunctionPointerCallSite