XCSG:InterproceduralDataFlow

From AtlasWiki
Revision as of 20:05, 14 May 2014 by TheodoreMurdock (Talk | contribs) (adding more precise specifications for StaticLocalVariables, re-ordering to put the more general things first)

Jump to: navigation, search

Specification

Metaclass InterproceduralDataFlow
Extends DataFlow (Edge)
Description Represents data flows between Functions, or involving Variables visible to multiple Functions.
Specified Connections
Predecessor Multiplicity Successor
Variable ✱ ➞ ✱ DataFlow (Node)
ParameterPass ✱ ➞ 1 Parameter
Assignment ✱ ➞ 0..1 Variable
Assignment ✱ ➞ 1..✱ StaticLocalVariable
StaticLocalVariable 0..1 ➞ 0..1 StaticLocalVariable