Datatype TAbstractValue

An abstract value inferred by the flow analysis.

Import path

import javascript

Known direct subtypes

AbstractValue

Branch types

TAbstractArguments	An abstract representation of the arguments object of a function object corresponding to function `f`.
TAbstractBoolean	An abstract representation of Boolean value `b`.
TAbstractClass	An abstract representation of a class object corresponding to class `c`.
TAbstractDate	An abstract representation of a Date object.
TAbstractEmpty	An abstract representation of the empty string.
TAbstractExportsObject	An abstract representation of a `exports` object.
TAbstractFunction	An abstract representation of a function object corresponding to function `f`.
TAbstractGlobalObject	An abstract representation of the global object.
TAbstractInstance	An abstract value representing all instances of a class or function `F`, as well as the default prototype of `F` (that is, the initial value of `F.prototype`).
TAbstractModuleObject	An abstract representation of a `module` object.
TAbstractNonZero	An abstract representation of a non-zero number (or bigint).
TAbstractNull	An abstract representation of `null`.
TAbstractNumString	An abstract representation of a string that coerces to a number (and not `NaN`).
TAbstractObjectLiteral	An abstract representation of all objects arising from an object literal expression.
TAbstractOtherObject	An abstract representation of an object not covered by the other abstract values.
TAbstractOtherString	An abstract representation of a non-empty string that does not coerce to a number.
TAbstractRegExp	An abstract representation of a regular expression object.
TAbstractUndefined	An abstract representation of `undefined`.
TAbstractZero	An abstract representation of the number (or bigint) zero.
TCustomAbstractValue	A custom abstract value induced by `tag`.
TCustomAbstractValueFromDefinition	A custom abstract value induced by `def`.
TIndefiniteAbstractValue	Abstract representation of indefinite values that represent any value, with `cause` recording the cause of the incompleteness.
TIndefiniteFunctionOrClass	An abstract representation of an indefinite value that represents a function or class, where `cause` records the cause of the incompleteness.
TIndefiniteObject	An abstract representation of an indefinite value that represents an object, but not a function or class, with `cause` recording the cause of the incompleteness.

Injectors

TAbstractArguments	An abstract representation of the arguments object of a function object corresponding to function `f`.
TAbstractBoolean	An abstract representation of Boolean value `b`.
TAbstractClass	An abstract representation of a class object corresponding to class `c`.
TAbstractDate	An abstract representation of a Date object.
TAbstractEmpty	An abstract representation of the empty string.
TAbstractExportsObject	An abstract representation of a `exports` object.
TAbstractFunction	An abstract representation of a function object corresponding to function `f`.
TAbstractGlobalObject	An abstract representation of the global object.
TAbstractInstance	An abstract value representing all instances of a class or function `F`, as well as the default prototype of `F` (that is, the initial value of `F.prototype`).
TAbstractModuleObject	An abstract representation of a `module` object.
TAbstractNonZero	An abstract representation of a non-zero number (or bigint).
TAbstractNull	An abstract representation of `null`.
TAbstractNumString	An abstract representation of a string that coerces to a number (and not `NaN`).
TAbstractObjectLiteral	An abstract representation of all objects arising from an object literal expression.
TAbstractOtherObject	An abstract representation of an object not covered by the other abstract values.
TAbstractOtherString	An abstract representation of a non-empty string that does not coerce to a number.
TAbstractRegExp	An abstract representation of a regular expression object.
TAbstractUndefined	An abstract representation of `undefined`.
TAbstractZero	An abstract representation of the number (or bigint) zero.
TCustomAbstractValue	A custom abstract value induced by `tag`.
TCustomAbstractValueFromDefinition	A custom abstract value induced by `def`.
TIndefiniteAbstractValue	Abstract representation of indefinite values that represent any value, with `cause` recording the cause of the incompleteness.
TIndefiniteFunctionOrClass	An abstract representation of an indefinite value that represents a function or class, where `cause` records the cause of the incompleteness.
TIndefiniteObject	An abstract representation of an indefinite value that represents an object, but not a function or class, with `cause` recording the cause of the incompleteness.