Class Essa::MethodCallsiteRefinement

An implicit (possible) modification of the object referred at a method call

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

Inherited predicates

definedByfrom EssaNodeRefinement
getAUse

Gets a use of this definition as defined by the SsaSourceVariable class.

from EssaNodeRefinement
getDefiningNode

Gets the ControlFlowNode corresponding to this definition

from EssaNodeRefinement
getInput

Gets the SSA variable to which this refinement applies.

from EssaNodeRefinement
getLocation

Gets the location of a control flow node that is indicative of this definition. Since definitions may occur on edges of the control flow graph, the given location may be imprecise. Distinct EssaDefinitions may return the same ControlFlowNode even for the same variable.

from EssaNodeRefinement
getRepresentation

Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.

from EssaNodeRefinement
getScopefrom EssaNodeRefinement
getSourceVariable

Gets the source variable for which this a definition, either explicit or implicit.

from EssaNodeRefinement
getVariablefrom EssaDefinition
reachesEndOfBlock

Holds if this definition reaches the end of b.

from EssaNodeRefinement
toStringfrom EssaNodeRefinement

Charpred