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

[Carsten Bormann <[e-mail]>]

On May 29, 2019, at 22:17, Nico Williams <[e-mail]> wrote:
> 
>  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 { ... }
>  };

While it is certainly enjoyable to design another language, I’m not sure why this should not be done in an ABNF-like syntax such as CDDL (which, by the way, is in AUTH48 and will soon be RFC 8610).  
Keeping your names (even the snake case, where I’d be using kebab case):

top_level = file_menu / edit_menu
file_menu = { menu: file_menu_contents }
edit_menu = { edit_menu: edit_menu_contents }
file_menu_contents = {
  id: text    ; assuming here this is your examplotron content
  value: text
  popup: { }
}
edit_menu_contents = { }

I didn’t put in the ignore-unknown stuff; that would be 12 characters in CDDL unless you define something to make this shorter.

Put the above into a menus.cddl and try

  cddl menus.cddl g 10

you get 10 examples:

{"menu": {"id": "gray", "value": "commixt", "popup": {}}}
{"menu": {"id": "proctoplasty", "value": "compunctious", "popup": {}}}
{"menu": {"id": "taglike", "value": "valvulate", "popup": {}}}
{"edit_menu": {}}
{"menu": {"id": "uninundated", "value": "unworthily", "popup": {}}}
{"edit_menu": {}}
{"edit_menu": {}}
{"menu": {"id": "Orangeist", "value": "imperialin", "popup": {}}}
{"edit_menu": {}}
{“edit_menu": {}}

This is a bit boring as there is only one choice and two non-singleton types.
Sorry if I didn’t get the intent of your example right.

Grüße, Carsten

PS.: OK, with ignore-unknown:

top_level = file_menu / edit_menu
file_menu = { menu: file_menu_contents _..._ }
edit_menu = { edit_menu: edit_menu_contents _..._ }
file_menu_contents = {
  id: text    ; I'm assuming here this is your examplotron content
  value: text
  popup: { _..._ }
  _..._
}
edit_menu_contents = { _..._ }

_..._ = ( * text => any )

➔ 

{"menu": {"id": "fahlerz", "value": "unshocked", "popup": {"astrophotometry": "perdurance"}, "foolship": "pentacosane", "larrikin": "myoglobin"}}
{"edit_menu": {"priggery": "cordaitean", "jackpudding": "righten", "unconfidence": "photolitho", "reviling": "ewe"}, "allophylic": "compound", "teacupful": "allergen"}
{"menu": {"id": "amazement", "value": "condylomatous", "popup": {"cosounding": "share", "contribute": "gabblement", "gunpaper": "dividualism", "undersociety": "noration"}}}
{"edit_menu": {"glareole": "clicket", "madling": "dizain"}, "scrimpily": "gypsywort", "neurofibrilla": "discolor"}
{"edit_menu": {"unpermissive": "cockneity"}, "caudillism": "visa", "interloop": "anthracnose"}
{"menu": {"id": "blankite", "value": "puffery", "popup": {"katuka": "Gnathostomata", "effeteness": "unspelt"}}, "Chaldaic": "extrafoliaceous", "trimesic": "dwindlement", "successful": "fluctuant", "nevadite": "aggradational"}
{"menu": {"id": "acrostolion", "value": "devocalize", "popup": {}}, "cymation": "premanufacturer", "mysticete": "analyst", "ethnocentric": "Myrtales"}
{"edit_menu": {"glycerolize": "blastoid", "undisputedness": "propheticly"}, "orchiotomy": "illiquidity"}
{"menu": {"id": "tenebriously", "value": "guardo", "popup": {"abeigh": "fibrillar", "Sminthurus": "disnosed", "accessibility": "autem"}}}
{"edit_menu": {"stableman": "erosional"}}