CodeQL library for JavaScript
Search

Class VarRefinementContext

A refinement context specifying that some variable is assumed to have one particular abstract value.

Import path

import semmle.javascript.dataflow.Refinements

Direct supertypes

Indirect supertypes

Predicates

appliesTo

Holds if refinement expression cand might be analyzed in this context.

getAValue

Gets the abstract refinement value the variable is assumed to have.

toString

Gets a textual representation of this element.