Type signature InputSig::PostUpdateNode

A node in the data flow graph representing the value of some other node after an operation that might have changed its state. A typical example is an argument, which may have been modified by the callee. For example, consider the following code calling a setter method:

x.setFoo(y);

The post-update node for the argument node x is the node representing the value of x after the field foo has been updated.