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