Datatype AbstractValuesImpl::TAbstractValue

An abstract value inferred by the flow analysis.

Known direct subtypes

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.