I wrote a JSON Schema for the AST produced by the grammar parser #190
Replies: 3 comments 5 replies
-
|
Interesting. Are you just using this internally, or do you see some use that down-stream language-agnostic tools might find for it? For example, having an external tool do optimization transforms or code generation? |
Beta Was this translation helpful? Give feedback.
-
|
I figured when I write tests in the python version I could have a step that validates the generated AST against this schema. I ran |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
heh of course it exists already :P faceplam oh well thanks for your link |
Beta Was this translation helpful? Give feedback.
-
|
If you want to check out your implementation, I think I've got one of every current construct in https://github.com/peggyjs/peggy/blob/main/examples/fizzbuzz.peggy |
Beta Was this translation helpful? Give feedback.
-
|
Thanks :) I made this https://peggyjs.thehappycheese.repl.co/ with it. |
Beta Was this translation helpful? Give feedback.
-
|
I'd like to leave this issue open until we decide if we want to take Mingun/pegjs@a54b949 here. If so, I'll want to add a |
Beta Was this translation helpful? Give feedback.
-
|
Ok, I'll rebase branch and update it (at least, I should use draft-7 instead of draft-4) |
Beta Was this translation helpful? Give feedback.
-
Hi All,
I am working on a port of peggy to python. In my travels I have created the following JSON Schema which I think may be helpful to other tinkerers / test builders of the future. I am not 100% sure the schema is correct or optimal, but I found the process of creating it helpful for my understanding.
Thank you all for your work 🖖:).
{ "$schema": "http://json-schema.org/schema", "type":"object", "properties": { "type":{ "const": "grammar" }, "topLevelInitializer":true, "initializer":true, "rules":{ "type":"array", "items":{"$ref":"#/definitions/rule"} }, "location":{"$ref": "#/definitions/location"} }, "required": ["type","topLevelInitializer","initializer","rules","location"], "definitions": { "cursor_location":{ "type":"object", "properties": { "offset":{"type":"integer"}, "line":{"type":"integer"}, "column":{"type":"integer"} }, "required": ["offset", "line", "column"], "additionalProperties": false }, "location":{ "type":"object", "properties": { "start":{"$ref":"#/definitions/cursor_location"}, "end":{"$ref":"#/definitions/cursor_location"} }, "required": ["start", "end"], "additionalProperties": false }, "rule":{ "type":"object", "properties":{ "type":{"const":"rule"}, "name":{"type":"string"}, "expression":{"$ref":"#/definitions/expression"}, "nameLocation":{"$ref":"#/definitions/location"}, "location":{"$ref": "#/definitions/location"} }, "required": ["type","name","expression","nameLocation","location"], "additionalProperties": false }, "expression":{ "anyOf": [ {"$ref":"#/definitions/named"}, {"$ref":"#/definitions/choice"}, {"$ref":"#/definitions/action"}, {"$ref":"#/definitions/sequence"}, {"$ref":"#/definitions/labeled"}, {"$ref":"#/definitions/labeled_picked"}, {"$ref":"#/definitions/prefixed_expression"}, {"$ref":"#/definitions/suffixed_expression"}, {"$ref":"#/definitions/group"}, {"$ref":"#/definitions/predicate_expression"}, {"$ref":"#/definitions/rule_ref"}, {"$ref":"#/definitions/literal"}, {"$ref":"#/definitions/class"}, {"$ref":"#/definitions/any"} ] }, "named":{ "type":"object", "properties": { "type":{"const":"named"}, "location":{"$ref": "#/definitions/location"}, "name":{"type":"string"}, "expression":{"$ref": "#/definitions/expression"} }, "required": ["type", "location", "name", "expression"], "additionalProperties": false }, "choice":{ "type":"object", "properties": { "type":{"const":"choice"}, "location":{"$ref": "#/definitions/location"}, "alternatives":{"type":"array", "items": {"$ref": "#/definitions/expression"}} }, "required": ["type", "location", "alternatives"], "additionalProperties": false }, "action":{ "type":"object", "properties": { "type": {"const": "action"}, "expression": {"$ref": "#/definitions/expression"}, "location": {"$ref": "#/definitions/location"}, "code": {"type": "string"}, "codeLocation":{"$ref": "#/definitions/location"} }, "required": ["type","expression", "location","code","codeLocation"], "additionalProperties": false }, "sequence":{ "type":"object", "properties": { "type":{"const":"sequence"}, "elements":{"type":"array","items":{"$ref": "#/definitions/expression"}}, "location":{"$ref": "#/definitions/location"} }, "required": ["type","elements", "location"], "additionalProperties": false }, "labeled":{ "type":"object", "properties": { "type":{"const":"labeled"}, "location":{"$ref": "#/definitions/location"}, "label":{"type":"string"}, "labelLocation":{"$ref": "#/definitions/location"}, "expression":{"$ref": "#/definitions/expression"} }, "required": ["type", "location", "label", "labelLocation","expression"], "additionalProperties": false }, "labeled_picked":{ "type":"object", "properties": { "type":{"const":"labeled"}, "location":{"$ref": "#/definitions/location"}, "label":{"type":["string","null"]}, "pick":{"const":true}, "labelLocation":{"$ref": "#/definitions/location"}, "expression":{"$ref": "#/definitions/expression"} }, "required": ["type", "location", "label", "labelLocation","expression","pick"], "additionalProperties": false }, "prefixed_expression":{ "type":"object", "properties": { "type":{"anyOf":[ {"const":"text", "description": "$rule"}, {"const":"simple_and", "description": "&rule"}, {"const":"simple_not", "description": "!rule"} ]}, "expression":{"$ref": "#/definitions/expression"}, "location":{"$ref": "#/definitions/location"} }, "required": ["type","expression","location"], "additionalProperties": false }, "suffixed_expression":{ "type":"object", "properties": { "type":{"anyOf":[ {"const":"optional", "description": "rule?"}, {"const":"zero_or_more", "description": "rule*"}, {"const":"one_or_more", "description": "rule+"} ]}, "location":{"$ref": "#/definitions/location"}, "expression":{"$ref": "#/definitions/expression"} }, "required": ["type", "location", "expression"], "additionalProperties": false }, "group":{ "description": "(rules...)", "type":"object", "properties": { "type":{"const":"group"}, "location":{"$ref": "#/definitions/location"}, "expression":{"$ref": "#/definitions/expression"} }, "required": ["type", "location", "expression"], "additionalProperties": false }, "predicate_expression":{ "description": "A code block that controls matching based on the code environment", "type":"object", "properties": { "type":{"anyOf":[ {"const":"semantic_and", "description": "&{code}"}, {"const":"semantic_not", "description": "!{code}"} ]}, "location":{"$ref": "#/definitions/location"}, "code":{"type":"string"}, "codeLocation":{"$ref": "#/definitions/location"} }, "required": ["type", "location", "expression", "code", "codeLocation"], "additionalProperties": false }, "rule_ref":{ "description": "A reference to the name of another rule", "type":"object", "properties": { "type":{"const":"rule_ref"}, "location":{"$ref": "#/definitions/location"}, "name":{"type":"string"} }, "required": ["type", "location", "name"], "additionalProperties": false }, "literal":{ "description": "\"string literal\"", "type":"object", "properties": { "type":{"const":"literal"}, "location":{"$ref": "#/definitions/location"}, "value":{"type":"string"}, "ignoreCase":{"type":"boolean"} }, "required": ["type", "location", "value", "ignoreCase"], "additionalProperties": false }, "class":{ "description": "[charracters / character ranges]", "type":"object", "properties": { "type":{"const":"class"}, "parts":{ "type":"array", "items": { "anyOf":[ {"type":"string"}, {"type":"array","items": {"type":"string"}} ] } }, "inverted":{"type":"boolean"}, "ignoreCase":{"type":"boolean"}, "location":{"$ref": "#/definitions/location"} }, "required": ["type", "location", "parts","inverted", "ignoreCase"], "additionalProperties": false }, "any":{ "description": ".", "type":"object", "properties": { "type":{"const":"any"}, "location":{"$ref": "#/definitions/location"} }, "required": ["type", "location"], "additionalProperties": false } } }Beta Was this translation helpful? Give feedback.
All reactions