Class SingletonRefinementValue
A refinement value that represents exactly one concrete value.
Import path
import semmle.javascript.dataflow.RefinementsDirect 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 |