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)
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 |