A data-flow node that induces an analysis-specific abstract value.
Enables modular extensions of AbstractValue.
For performance reasons, all subclasses of this class should be part of the standard library.
Import path
import semmle.javascript.dataflow.CustomAbstractValueDefinitionsDirect supertypes
Indirect supertypes
Predicates
| getAPrototype | Gets an abstract value that represents a prototype object of the induced abstract value. |
| getAbstractValue | Gets the induced abstract value. |
| getBooleanValue | Gets the Boolean value that some concrete value represented by the induced abstract value coerces to. |
| getType | Gets the type of some concrete value represented by the induced abstract value. |
| isCoercibleToNumber | Holds if the induced abstract value is coercible to a number, that is, it represents at least one concrete value for which the |
| isIndefinite | Holds if the induced abstract value is an indefinite value arising from the incompleteness |
| shouldTrackProperties | Holds if this is a value whose properties the type inference tracks. |
| toPrimitive | Gets an abstract primitive value the induced abstract value coerces to. |
Inherited predicates
| getAPrimaryQlClass | Gets the primary QL class for the Locatable. | from Locatable |
| getEndLine | Gets the line on which this element ends. | from Locatable |
| getFile | Gets the file this program element comes from. | from Locatable |
| getLocation | Gets this element’s location. | from Locatable |
| getNumLines | Gets the number of lines covered by this element. | from Locatable |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Locatable |
| getStartLine | Gets the line on which this element starts. | from Locatable |
| toString | Gets a textual representation of this element. | from Locatable |