A data-flow node that induces an analysis-specific abstract value.
Enables modular extensions of
For performance reasons, all subclasses of this class should be part of the standard library.
Gets an abstract value that represents a prototype object of the induced abstract value.
Gets the induced abstract value.
Gets the Boolean value that some concrete value represented by the induced abstract value coerces to.
Gets the type of some concrete value represented by the induced abstract value.
Holds if the induced abstract value is coercible to a number, that is, it represents at least one concrete value for which the
Holds if the induced abstract value is an indefinite value arising from the incompleteness
Holds if this is a value whose properties the type inference tracks.
Gets an abstract primitive value the induced abstract value coerces to.
Gets the line on which this element ends.
Gets the file this program element comes from.
Gets this element’s location.
Gets the number of lines covered by this element.
Gets the line on which this element starts.
Gets a textual representation of this element.