CodeQL library for JavaScript
Search

Class SingletonRefinementValue

A refinement value that represents exactly one concrete value.

Import path

import semmle.javascript.dataflow.Refinements

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    equals

    Holds if this equals that under strict or non-strict equality, depending on the value of isStrict.

    Inherited predicates

    getABooleanValue

    Gets the Boolean value of a concrete value represented by this abstract value.

    from RefinementValue
    toString

    Gets a textual representation of this element.

    from RefinementValue
    typeof

    Gets the typeof tag of a concrete value represented by this abstract value.

    from RefinementValue