Class ReturnNodes::YieldReturnNode
A yield return node. A node is synthesized in order to be able to model
yield returns as stores into collections, i.e., there is flow from e
to yield return e [e].
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivateDirect supertypes
Predicates
| getControlFlowNodeImpl | Do not call: use |
| getEnclosingCallableImpl | Do not call: use |
| getKind | Gets the kind of this return node. |
| getLocationImpl | Do not call: use |
| getTypeImpl | Do not call: use |
| getYieldReturnStmt | |
| toStringImpl | Do not call: use |
Inherited predicates
| asDefinition | Gets the definition corresponding to this node, if any. | from Node |
| asDefinitionAtNode | Gets the definition corresponding to this node, at control flow node | from Node |
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| asExprAtNode | Gets the expression corresponding to this node, at control flow node | from Node |
| asParameter | Gets the parameter corresponding to this node, if any. | from Node |
| getControlFlowNode | Gets the control flow node corresponding to this node, if any. | from Node |
| getDataFlowType | Gets the type of this node used for type pruning. | from NodeImpl |
| getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
| getLocation | Gets the location of this node. | from Node |
| getType | Gets the type of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| toString | Gets a textual representation of this node. | from Node |