Class VariableWrite
A write to a variable. This is either a local variable declaration, including parameter declarations, or an update to a variable.
Import path
import javaDirect supertypes
Predicates
| asExpr | Gets the expression representing this write, if any. |
| getLocation | Gets the location of this write. |
| getValue | Gets the expression with the value being written, if any. |
| isParameterInit | Holds if this write is an initialization of parameter |
| toString | Gets a textual representation of this write. |