Class AbstractValues::AbstractInstance

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).

Direct supertypes

Indirect supertypes

Predicates

getBooleanValue

Gets the Boolean value some concrete value represented by this abstract value coerces to.

getConstructor

Gets the constructor of this instance.

getType

Gets the type of some concrete value represented by this abstract value.

hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file f. For more information, see LGTM locations.

isCoercibleToNumber

Holds if this 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.

toPrimitive

Gets an abstract primitive value this abstract value coerces to.

toString

Gets a textual representation of this element.

Inherited predicates

getAPrototype

Gets an abstract value that represents a prototype object of this value.

from AbstractValue
isIndefinite

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

from AbstractValue