☰
Pins
Table of Contents
Introduction
1
Scope
2
Conformance
3
Normative References
◢
4
Overview
4.1
Web Scripting
◢
4.2
ECMAScript Overview
4.2.1
Objects
4.2.2
The Strict Variant of ECMAScript
◢
4.3
Terms and Definitions
4.3.1
type
4.3.2
primitive value
4.3.3
object
4.3.4
constructor
4.3.5
prototype
4.3.6
ordinary object
4.3.7
exotic object
4.3.8
standard object
4.3.9
built-in object
4.3.10
undefined value
4.3.11
Undefined type
4.3.12
null value
4.3.13
Null type
4.3.14
Boolean value
4.3.15
Boolean type
4.3.16
Boolean object
4.3.17
String value
4.3.18
String type
4.3.19
String object
4.3.20
Number value
4.3.21
Number type
4.3.22
Number object
4.3.23
Infinity
4.3.24
NaN
4.3.25
BigInt value
4.3.26
BigInt type
4.3.27
BigInt object
4.3.28
Symbol value
4.3.29
Symbol type
4.3.30
Symbol object
4.3.31
function
4.3.32
built-in function
4.3.33
property
4.3.34
method
4.3.35
built-in method
4.3.36
attribute
4.3.37
own property
4.3.38
inherited property
4.4
Organization of This Specification
◢
5
Notational Conventions
◢
5.1
Syntactic and Lexical Grammars
5.1.1
Context-Free Grammars
5.1.2
The Lexical and RegExp Grammars
5.1.3
The Numeric String Grammar
5.1.4
The Syntactic Grammar
5.1.5
Grammar Notation
◢
5.2
Algorithm Conventions
5.2.1
Abstract Operations
5.2.2
Syntax-Directed Operations
◢
5.2.3
Runtime Semantics
5.2.3.1
Implicit Completion Values
5.2.3.2
Throw an Exception
5.2.3.3
ReturnIfAbrupt
5.2.3.4
ReturnIfAbrupt Shorthands
5.2.4
Static Semantics
5.2.5
Mathematical Operations
5.2.6
Value Notation
◢
6
ECMAScript Data Types and Values
◢
6.1
ECMAScript Language Types
6.1.1
The Undefined Type
6.1.2
The Null Type
6.1.3
The Boolean Type
6.1.4
The String Type
◢
6.1.5
The Symbol Type
6.1.5.1
Well-Known Symbols
◢
6.1.6
Numeric Types
◢
6.1.6.1
The Number Type
6.1.6.1.1
Number::unaryMinus (
x
)
6.1.6.1.2
Number::bitwiseNOT (
x
)
6.1.6.1.3
Number::exponentiate (
base
,
exponent
)
6.1.6.1.4
Number::multiply (
x
,
y
)
6.1.6.1.5
Number::divide (
x
,
y
)
6.1.6.1.6
Number::remainder (
n
,
d
)
6.1.6.1.7
Number::add (
x
,
y
)
6.1.6.1.8
Number::subtract (
x
,
y
)
6.1.6.1.9
Number::leftShift (
x
,
y
)
6.1.6.1.10
Number::signedRightShift (
x
,
y
)
6.1.6.1.11
Number::unsignedRightShift (
x
,
y
)
6.1.6.1.12
Number::lessThan (
x
,
y
)
6.1.6.1.13
Number::equal (
x
,
y
)
6.1.6.1.14
Number::sameValue (
x
,
y
)
6.1.6.1.15
Number::sameValueZero (
x
,
y
)
6.1.6.1.16
NumberBitwiseOp (
op
,
x
,
y
)
6.1.6.1.17
Number::bitwiseAND (
x
,
y
)
6.1.6.1.18
Number::bitwiseXOR (
x
,
y
)
6.1.6.1.19
Number::bitwiseOR (
x
,
y
)
6.1.6.1.20
Number::toString (
x
)
◢
6.1.6.2
The BigInt Type
6.1.6.2.1
BigInt::unaryMinus (
x
)
6.1.6.2.2
BigInt::bitwiseNOT (
x
)
6.1.6.2.3
BigInt::exponentiate (
base
,
exponent
)
6.1.6.2.4
BigInt::multiply (
x
,
y
)
6.1.6.2.5
BigInt::divide (
x
,
y
)
6.1.6.2.6
BigInt::remainder (
n
,
d
)
6.1.6.2.7
BigInt::add (
x
,
y
)
6.1.6.2.8
BigInt::subtract (
x
,
y
)
6.1.6.2.9
BigInt::leftShift (
x
,
y
)
6.1.6.2.10
BigInt::signedRightShift (
x
,
y
)
6.1.6.2.11
BigInt::unsignedRightShift (
x
,
y
)
6.1.6.2.12
BigInt::lessThan (
x
,
y
)
6.1.6.2.13
BigInt::equal (
x
,
y
)
6.1.6.2.14
BigInt::sameValue (
x
,
y
)
6.1.6.2.15
BigInt::sameValueZero (
x
,
y
)
6.1.6.2.16
BinaryAnd (
x
,
y
)
6.1.6.2.17
BinaryOr (
x
,
y
)
6.1.6.2.18
BinaryXor (
x
,
y
)
6.1.6.2.19
BigIntBitwiseOp (
op
,
x
,
y
)
6.1.6.2.20
BigInt::bitwiseAND (
x
,
y
)
6.1.6.2.21
BigInt::bitwiseXOR (
x
,
y
)
6.1.6.2.22
BigInt::bitwiseOR (
x
,
y
)
6.1.6.2.23
BigInt::toString (
x
)
◢
6.1.7
The Object Type
6.1.7.1
Property Attributes
6.1.7.2
Object Internal Methods and Internal Slots
6.1.7.3
Invariants of the Essential Internal Methods
6.1.7.4
Well-Known Intrinsic Objects
◢
6.2
ECMAScript Specification Types
6.2.1
The List and Record Specification Types
6.2.2
The Set and Relation Specification Types
◢
6.2.3
The Completion Record Specification Type
◢
6.2.3.1
Await
6.2.3.1.1
Await Fulfilled Functions
6.2.3.1.2
Await Rejected Functions
6.2.3.2
NormalCompletion
6.2.3.3
ThrowCompletion
6.2.3.4
UpdateEmpty (
completionRecord
,
value
)
◢
6.2.4
The Reference Specification Type
6.2.4.1
GetBase (
V
)
6.2.4.2
GetReferencedName (
V
)
6.2.4.3
IsStrictReference (
V
)
6.2.4.4
HasPrimitiveBase (
V
)
6.2.4.5
IsPropertyReference (
V
)
6.2.4.6
IsUnresolvableReference (
V
)
6.2.4.7
IsSuperReference (
V
)
6.2.4.8
GetValue (
V
)
6.2.4.9
PutValue (
V
,
W
)
6.2.4.10
GetThisValue (
V
)
6.2.4.11
InitializeReferencedBinding (
V
,
W
)
◢
6.2.5
The Property Descriptor Specification Type
6.2.5.1
IsAccessorDescriptor (
Desc
)
6.2.5.2
IsDataDescriptor (
Desc
)
6.2.5.3
IsGenericDescriptor (
Desc
)
6.2.5.4
FromPropertyDescriptor (
Desc
)
6.2.5.5
ToPropertyDescriptor (
Obj
)
6.2.5.6
CompletePropertyDescriptor (
Desc
)
6.2.6
The Lexical Environment and Environment Record Specification Types
◢
6.2.7
Data Blocks
6.2.7.1
CreateByteDataBlock (
size
)
6.2.7.2
CreateSharedByteDataBlock (
size
)
6.2.7.3
CopyDataBlockBytes (
toBlock
,
toIndex
,
fromBlock
,
fromIndex
,
count
)
◢
7
Abstract Operations
◢
7.1<