Class CustomAbstractValueDefinitions::CustomAbstractValueDefinition

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.

Direct 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 ToNumber conversion does not yield NaN.

isIndefinite

Holds if the induced abstract value is an indefinite value arising from the incompleteness cause.

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

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
getStartLine

Gets the line on which this element starts.

from Locatable
toString

Gets a textual representation of this element.

from Locatable