Re: [Json] A minimal examplotron-style JSON validation language.

[Pete Cordell <[e-mail]>]

On 29/05/2019 21:17, Nico Williams wrote:
> On Wed, May 29, 2019 at 03:14:43PM -0400, John Cowan wrote:
>> Here is a very simple examplotron language:
>>
>> Sample document from json.org:
>>
>> {"menu": {
>>    "id": "file",
>>    "value": "File",
>>    "popup": {
>>      "menuitem": [
>>        {"value": "New", "onclick": "CreateNewDoc()"},
>>        {"value": "Open", "onclick": "OpenDoc()"},
>>        {"value": "Close", "onclick": "CloseDoc()"}
>>      ]
>>    }
>> }}
>>
 >...
> 
> My counter:
> 
>    top_level : choice(file_menu, edit_menu);
>    file_menu : object{"menu"->file_menu_contents};
>    edit_menu : object{"edit_menu"->edit_menu_contents};
>    file_menu_contents := object{
>      "id":"file", /* this means this must be present with this value */
>      "value":"File",
>      "popup": object { ... }
>    };

For a quick taste of JCR, see:

    http://json-content-rules.org/tutorial

For a more examplotron feel, JCR could define a #inferred-types 
directive so, for example, string values are treated as generic string 
rather than a specific string. e.g.:

#inferred-types
{
     "Image": {
         "Width":  800,
         "Height": 600,
         "Title":  "View from 15th Floor",
         "Thumbnail": {
             "Url":    "http://www.example.com/image/481989943",
             "Height": 125,
             "Width":  100
         },
     "Animated" : false,
     "IDs": [116, 943, 234, 38793]
     }
}

gets treated as:

{
     "Image": {
         "Width":  integer,
         "Height": integer,
         "Title":  string,
         "Thumbnail": {
             "Url":    string,
             "Height": integer,
             "Width":  integer
         },
     "Animated" : boolean,
     "IDs": [integer *]
     }
}

Pete.
-- 
---------------------------------------------------------------------
Pete Cordell
Codalogic Ltd
Read & write XML in C++, http://www.xml2cpp.com
---------------------------------------------------------------------