Class DataFlow :: PostUpdateNode
A node associated with an object after an operation that might have changed its state.
This can be either the argument to a callable after the callable returns (which might have mutated the argument), or the qualifier of a field after an update to the field.
Nodes corresponding to AST elements, for example ExprNode
, usually refer
to the value before the update with the exception of ClassInstanceExpr
,
which represents the value after the constructor has run.
Import path
import semmle.code.java.dataflow.DataFlow
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getPreUpdateNode |
Gets the node before the state update. |
Inherited predicates
asExpr |
Gets the expression corresponding to this node, if any. |
from Node |
asParameter |
Gets the parameter corresponding to this node, if any. |
from Node |
getEnclosingCallable |
Gets the callable in which this node occurs. |
from Node |
getLocation |
Gets the source location for this element. |
from Node |
getType |
Gets the type of this node. |
from Node |
getTypeBound |
Gets an upper bound on the type of this node. |
from Node |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from Node |
toString |
Gets a textual representation of this element. |
from Node |