Module PostUpdateNodes
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivateClasses
| ExprPostUpdateNode | |
| LocalFunctionCreationPostUpdateNode | |
| ObjectCreationNode | |
| ObjectInitializerNode | A node that represents the value of a newly created object after the object has been created, but before the object initializer has been executed. |
| SourcePostUpdateNode |