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.