CodeQL library for Swift
codeql/swift-all 2.0.4-dev (changelog, source)
Search

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.

Direct supertypes