Demo

The DataJS grammar of this module, drawn from its rules. Follow a track from left to right; a pill is text the input holds, and a box is another diagram — select it to go there.

dataJs

constStatement

const\t\n\rspaceidws=wsvaluews;ws

exportStatement

export\t\n\rspacedefault\t\n\rspacevaluews;ws

value

arrayobjectstringnumbertruefalsenullNaNundefinedid

object

array

property

string["__proto__"]

id

$a … zA … Z_$0 … 9

number

-uintn.0 … 9Ee+-0 … 9Infinity

string

character

space!# … [] … U+10FFFFescape

escape

\"/\bfnrtuhexhexhexhex

hex

0 … 9A … Fa … f

uint

01 … 90 … 9

ws

\t\n\rspace

Emergent Testing

Idle. Press Run to start the suite.

  • ./proof.f.mjs