XCSG:InterproceduralDataFlow
From AtlasWiki
Revision as of 17:24, 5 June 2014 by TheodoreMurdock (Talk | contribs) (→Specification: Added specific connections between MasterReturn nodes and CallSites, moved less specific connections to "permitted", corrected Assignment->ProgramVariable (not every Assignment goes to one))
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 |
| ParameterPass | ✱ ➞ 1 | Parameter |
| Assignment | ✱ ➞ 0..1 | ProgramVariable |
| MasterReturn | 1 ➞ ✱ | StaticCallSite |
| MasterReturn | 1..✱ ➞ ✱ | DynamicCallSite |
| MasterReturn | 1..✱ ➞ ✱ | FunctionPointerCallSite |
