The JSON Editor

The JSON Editor is used to edit the values associated with dynamic grammar variables. The values are expressed as JSON objects. JSON (for JavaScript Object Notation) is a lightweight data-interchange format and is based on the JavaScript syntax for constants.

The whole dialog has two panes: a tree showing a structural representation of the JSON value and the JSON editor itself. In the tree, elements can be selected or deleted. A limited form of drag&drop allows to move or copy objects around (hold the Control key to copy instead of just moving and object).

The Editor

To edit an object, simply select the corresponding element in the tree. The JSON object is copied into the editor, properly formatted. Simply edit the object and press the Apply button. The code is again automatically formatted:

The JSON format

The syntax of JSON objects is given here:

object ::=
    {}
    { members } 

members ::=
    pair
    pair , members

pair ::=
    string : value

array ::=
    []
    [ elements ]

elements ::=
    value
    value , elements

value ::=
    string
    number
    object
    array
    true
    false
    null