Member predicate FlowVar::definedByExpr

Holds if this FlowVar corresponds to a modification occurring when node is evaluated, receiving a value best described by e. The following is an exhaustive list of cases where this may happen.

• node is an Initializer and e is its contained expression.
• node is an AssignExpr, and e is its right-hand side.
• node is an AssignOperation, and e is node.
• node is a CrementOperation, and e is node. The case where node instanceof PostCrementOperation is an exception to the rule that this contains the value of e after the evaluation of node.