Class Undefined::AtLeastOnceLoop

A loop where we are guaranteed (or is at least likely) to execute the body at least once.

Direct supertypes

Indirect supertypes

Predicates

prunedSuccessor

Holds if data cannot flow from this to succ, even though it would normally do so.

Inherited predicates

getASourceUse

Gets a use of this variable, where a “use” is defined by SsaSourceVariable.getASourceUse(). Note that this differs from EssaVariable.getAUse().

from EssaVariable
getASuccessorNode

Gets a successor node for data-flow. Data (all forms) is assumed to flow from this to result Note: This is an unlikely form of flow. See DataFlowNode.getASuccessorNode()

from DataFlowVariable
getASuccessorVariable

Gets a successor variable for data-flow. Data (all forms) is assumed to flow from this to result.

from DataFlowVariable
getAUse

Gets a use of this variable, where a “use” is defined by SsaSourceVariable.getAUse(). Note that this differs from EssaVariable.getASourceUse().

from EssaVariable
getDefinition

Gets the (unique) definition of this variable.

from EssaVariable
getName

Gets the name of this variable.

from EssaVariable
getRepresentation

Gets a string representation of this variable. WARNING: The format of this may change and it may be very inefficient to compute. To used for debugging and testing only.

from EssaVariable
getScope

Gets the scope of this variable.

from EssaVariable
getSourceVariable

Gets the source variable from which this variable is derived.

from EssaVariable
toStringfrom EssaVariable

Charpred