VarRefinementContext

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

Import path

import semmle.javascript.dataflow.Refinements

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.