Difference between revisions of "XCSG:InterproceduralDataFlow"
From AtlasWiki
m (Dgriffen moved page InterproceduralDataFlow to XCSG:InterproceduralDataFlow: All tags are being moved to XCSG namespace) |
(MasterReturn renamed to ReturnValue) |
||
Line 4: | Line 4: | ||
| 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. | ||
| permitted = Variable,DataFlow (Node),*,*;Assignment,Variable,*,0..1 | | permitted = Variable,DataFlow (Node),*,*;Assignment,Variable,*,0..1 | ||
− | | specified = ParameterInput,Parameter,*,1;Assignment,ProgramVariable,*,0..1; | + | | specified = ParameterInput,Parameter,*,1;Assignment,ProgramVariable,*,0..1;ReturnValue,StaticCallSite,1,*;ReturnValue,DynamicCallSite,1..*,*;ReturnValue,FunctionPointerCallSite,1..*,* |
}} | }} |
Revision as of 14:31, 5 October 2015
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 |
ReturnValue | 1 ➞ ✱ | StaticCallSite |
ReturnValue | 1..✱ ➞ ✱ | DynamicCallSite |
ReturnValue | 1..✱ ➞ ✱ | FunctionPointerCallSite |