Difference between revisions of "XCSG:DataFlow (Edge)"

From AtlasWiki
Jump to: navigation, search
(Specification: fix link to BinaryOperator)
Line 3: Line 3:
 
| extends = Edge
 
| extends = Edge
 
| description = Connects [[DataFlow (Node){{!}}DataFlow nodes]] to one another and to [[Variable]]s, linking the origin of data to locations that it is modified or consumed.
 
| description = Connects [[DataFlow (Node){{!}}DataFlow nodes]] to one another and to [[Variable]]s, linking the origin of data to locations that it is modified or consumed.
| permitted = DataFlow (Node),DataFlow (Node),*,*;Variable,DataFlow (Node),*,*;DataFlow (Node),Variable,*,*
+
| specified = DataFlow (Node),DataFlow (Node),*,*;Variable,DataFlow (Node),*,*;DataFlow (Node),Variable,*,*
 
}}
 
}}
  

Revision as of 21:38, 11 December 2014

Specification

Metaclass DataFlow (Edge)
Extends Edge
Description Connects DataFlow nodes to one another and to Variables, linking the origin of data to locations that it is modified or consumed.
Direct Subkinds CompileTimeDataFlow, InterproceduralDataFlow, LocalDataFlow
Specified Connections
Predecessor Multiplicity Successor
DataFlow (Node) ✱ ➞ ✱ DataFlow (Node)
Variable ✱ ➞ ✱ DataFlow (Node)
DataFlow (Node) ✱ ➞ ✱ Variable
Tag leftOperand
Description Indicates that this edge connects a possible left operand to the BinaryOperator it is a possible left operand of.
Tag rightOperand
Description Indicates that this edge connects a possible right operand to the BinaryOperator it is a possible right operand of.