Class FlowVar::FlowVar_internal::BlockVar

A variable whose analysis is backed by a simple control flow analysis that does not perform as well as the SSA library but gives better results for data flow purposes in some cases.

Direct supertypes

Indirect supertypes

Fields

Predicates

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.

definedByInitialValue

Holds if this FlowVar corresponds to the initial value of v. The following is an exhaustive list of cases where this may happen.

getAnAccess

Gets a VariableAccess that may take its value from this. Consider the following snippet.

getLocation

Gets the location of this element.

toString

Gets a textual representation of this element.

Charpred