Module ReturnNodes

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

AsyncReturnNode	A synthesized `return` node for returned expressions inside `async` methods.
ExprReturnNode	A data-flow node that represents an expression returned by a callable, either using a `return` statement or an expression body (`=>`).
OutRefReturnNode	A data-flow node that represents an assignment to an `out` or a `ref` parameter.
YieldReturnNode	A `yield return` node. A node is synthesized in order to be able to model `yield return`s as stores into collections, i.e., there is flow from `e` to `yield return e [e]`.