Difference between revisions of "XCSG:InterproceduralDataFlow"
From AtlasWiki
(adding more precise specifications for StaticLocalVariables, re-ordering to put the more general things first) |
|||
| Line 3: | Line 3: | ||
| extends = DataFlow (Edge) | | extends = DataFlow (Edge) | ||
| description = Represents [[DataFlow (Edge){{!}}data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. | | description = Represents [[DataFlow (Edge){{!}}data flows]] between [[Function]]s, or involving [[Variable]]s visible to multiple Functions. | ||
| − | | specified = Variable,DataFlow (Node),*,*;ParameterPass,Parameter,*,1;Assignment,Variable,*,0..1;Assignment, | + | | specified = Variable,DataFlow (Node),*,*;ParameterPass,Parameter,*,1;Assignment,Variable,*,0..1;Assignment,ProgramVariable,*,1..*;ProgramVariable,ProgramVariable,0..1,0..1 |
}} | }} | ||
Revision as of 19:25, 15 May 2014
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..✱ | ProgramVariable |
| ProgramVariable | 0..1 ➞ 0..1 | ProgramVariable |
