CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.0.2 (changelog, source)
Search

Class AnalyzedPositiveConditionGuard

A refinement for a condition guard with an outcome of true.

For example, in if(x) s; else t;, this will restrict the possible values of x at the beginning of s to those that are truthy.

Import path

import javascript

Direct supertypes

Indirect supertypes

Predicates

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
getAnInputRhsValue

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

from AnalyzedRefinement
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
getLocation

Gets the location of this element.

from SsaDefinition
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 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

Charpred