Formal used as argument to a function call
The edge determines that the source calls the target
The edge determines that source is defined by target
Usually the inverse of defines-on-call (in the context of arguments and parameters).
This may also link an open read (within a function) to the definition that is active at the call site.
The edge determines that source (probably argument) defines the target (probably parameter). This may also link a function call to definitions it causes to be active (as part of the closure) of the called function definition.
The Edge determines that the reference is affected by a non-standard evaluation (e.g., a for-loop body or a quotation)
The edge determines that source reads target
The source returns target on call
The edge determines that the source is a side effect that happens when the target is called
Represents the relationship between the source and the target vertex in the dataflow graph. The actual value is represented as a bitmask, so please refer to DfEdge for helpful functions.