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 javascriptDirect 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 |