ECMAScript® 2024 Language Specification

Draft ECMA-262 / February 15, 2024

29.3 Chosen Value Records

A Chosen Value Record is a Record with the following fields.

Table 95: Chosen Value Record Fields
Field Name Value Meaning
[[Event]] a Shared Data Block event The ReadSharedMemory or ReadModifyWriteSharedMemory event that was introduced for this chosen value.
[[ChosenValue]] a List of byte values The bytes that were nondeterministically chosen during evaluation.