Class AbstractValues::CustomAbstractValue

A custom abstract value corresponding to an abstract value tag.

Direct supertypes

Indirect supertypes

Fields

Predicates

getBooleanValue

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

getTag

Gets the tag that this abstract value corresponds to.

getType

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

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.

isIndefinite

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

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

from AbstractValue

Charpred