Class VariableTypeInference::AnalyzedRefinement

Flow analysis for refinement nodes.

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAnInputRhsValue

Gets an abstract value that one of the inputs of this refinement may evaluate to.

getAnRhsValue

Gets an abstract value that the right hand side of this definition may evaluate to at runtime.

Inherited predicates

definesAt

INTERNAL: Use getBasicBlock() and getSourceVariable() instead.

from SsaRefinementNode
getAContributingVarDef

Gets a variable definition node whose value may end up contributing to the SSA variable defined by this definition.

from SsaPseudoDefinition
getAnInput

Gets an input of this pseudo-definition.

from SsaRefinementNode
getBasicBlock

Gets the basic block to which this definition belongs.

from SsaRefinementNode
getContainer

Gets the function or toplevel to which this definition belongs.

from SsaDefinition
getGuard

Gets the guard that induces this refinement.

from SsaRefinementNode
getKind

INTERNAL: Do not use.

from SsaRefinementNode
getRefinement

Gets the refinement associated with this definition.

from SsaRefinementNode
getSourceVariable

Gets the source variable defined by this definition.

from SsaRefinementNode
getVariable

Gets the SSA variable defined by this definition.

from SsaDefinition
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see LGTM locations.

from SsaRefinementNode
ppInputs

Gets a textual representation of the inputs of this pseudo-definition in lexicographical order.

from SsaPseudoDefinition
prettyPrintDef

INTERNAL: Use toString() instead.

from SsaRefinementNode
prettyPrintRef

INTERNAL: Do not use.

from SsaImplicitDefinition
toString

Gets a textual representation of this element.

from SsaDefinition