ECMAScript® 2021 Language Specification

Draft ECMA-262 / February 28, 2021

29.3 Chosen Value Records

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

Table 80: 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.
  • <-29.2 Agent Events Records
  • 29.4 Candidate Executions->
  • Spec content © 2021 Ecma International (BSD License)
  • Site © 2018–2020 Jed Fox GitHub Profile Twitter Profile (MIT License)
  • Built with Gatsby
  • Contribute on GitHub