Formal used as argument to a function call
The edge determines that the source calls the target
Like EdgeType.FlowEdge, pointing the way execution goes, but only taken when the condition the edge names evaluates to the value it names (e.g. one branch of an if-else).
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 points the way execution goes: the target is evaluated after the source.
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.