shapes-jsontree.json

{
  "shapeKey": "type",
  "shapes": {
    "MemberAccess": {
      "lhs": "Expression",
      "memberName": "symbol"
    },
    "ComputedMemberAccess": {
      "lhs": "Expression",
      "rhs": "Expression"
    },
    "Identifier": {
      "identifier": "symbol"
    },
    "RegExpLiteral": {
      "pattern": "string",
      "flags": "string"
    },
    "BooleanLiteral": {
      "value": "boolean"
    },
    "StringLiteral": {
      "value": "string"
    },
    "IntegerLiteral": {
      "value": "integer"
    },
    "DoubleLiteral": {
      "value": "double"
    },
    "ObjectLiteral": {
      "pairs": ["Pair"]
    },
    "ArrayLiteral": {
      "elements": ["Expression"]
    },
    "StringPair": {
      "key": "string",
      "value": "Expression"
    },
    "NumberPair": {
      "key": "double",
      "value": "Expression"
    },
    "NullStatement": {
    },
    "ExpressionStatement": {
      "expression": "Expression"
    },
    "BreakStatement": {
      "label": "symbol?"
    },
    "ContinueStatement": {
      "label": "symbol?"
    },
    "ReturnStatement": {
      "expression": "Expression?"
    },
    "ThrowStatement": {
      "expression": "Expression?"
    },
    "Comma": {
      "expressions": ["Expression"]
    },
    "LabelStatement": {
      "label": "symbol",
      "labelled": "Statement | Expression"
    },
    "BrIfFalse": {
      "condition": "Expression",
      "label": "symbol"
    },
    "MultiLabelStatement": {
      "labels": ["symbol"],
      "labelled": "Statement | Expression"
    },
    "ForStatement": {
      "initialize": "Expression?",
      "update": "Expression?",
      "condition": "Expression?",
      "body": "Block | Statement"
    },
    "WhileStatement": {
      "condition": "Expression",
      "body": "Block | Statement"
    },
    "DoWhileStatement": {
      "condition": "Expression",
      "body": "Block | Statement"
    },
    "TryStatement": {
      "body": "Block | Statement",
      "catchExpression": "Expression?",
      "catchBlock": "Block? | Statement?",
      "finallyBlock": "Block? | Statement?"
    },
    "ForInDeclaration": {
      "variableName": "symbol",
      "sequenceExpression": "Expression"
    },
    "ForInStatement": {
      "declaration": "ForInDeclaration",
      "body": "Statement | Expression"
    },
    "SwitchStatement": {
      "value": "Expression",
      "cases": ["SwitchCase"]
    },
    "SwitchCase": {
      "value": "Expression?",
      "body": "Block? | Statement?"
    },
    "PostfixMutation": {
      "operator": "symbol",
      "lhs": "Expression"
    },
    "PrefixMutation": {
      "operator": "symbol",
      "rhs": "Expression"
    },
    "UnaryOperator": {
      "operator": "symbol",
      "rhs": "Expression"
    },
    "BinaryOperator": {
      "operator": "symbol",
      "lhs": "Expression",
      "rhs": "Expression"
    },
    "AssignmentOperator": {
      "operator": "symbol",
      "lhs": "Expression",
      "rhs": "Expression"
    },
    "TernaryOperator": {
      "condition": "Expression",
      "trueExpression": "Expression",
      "falseExpression": "Expression"
    },
    "DeclarationStatement": {
      "declarations": ["Declaration"]
    },
    "Declaration": {
      "name": "symbol",
      "initialValue": "Expression?"
    },
    "Invocation": {
      "callee": "Expression",
      "argumentValues": ["Expression"]
    },
    "Block": {
      "statements": ["Statement | Expression"]
    },
    "IfStatement": {
      "condition": "Expression",
      "trueStatement": "Block | Statement",
      "falseStatement": "Block? | Statement?"
    },
    "Function": {
      "name": "symbol?",
      "argumentNames": ["symbol"],
      "body": "Block"
    },
    "TopLevel": {
      "statements": ["Statement"]
    },

    "SignedTruncation": {
      "expression": "Expression"
    },
    "UnsignedTruncation": {
      "expression": "Expression"
    },
    "ToDouble": {
      "expression": "Expression"
    },
    "UseAsmStatement": {
    }
  }
}