From 37ff89e38ec335149cb112b7419a63aeead5ae43 Mon Sep 17 00:00:00 2001 From: Arpita-Jaiswal Date: Fri, 18 Oct 2024 16:12:36 +0530 Subject: [PATCH 1/3] Added ebnf.md file --- v0.5/p1/spec/EBNF.md | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 v0.5/p1/spec/EBNF.md diff --git a/v0.5/p1/spec/EBNF.md b/v0.5/p1/spec/EBNF.md new file mode 100644 index 000000000..d688833b5 --- /dev/null +++ b/v0.5/p1/spec/EBNF.md @@ -0,0 +1,38 @@ +# EBNF + +```chatinput + ::= * ? * + ::= |
+ + + ::= ( )* ( | ) + ::= ? + + ::= ( )* ( | ) + ::= ? + + +
::= ? ? + ::= ( )? ? + ::= + ::= + ::= + + + + ::= "--" + ::= "--" "end:" + ::= "\n" + ::= "\n" + ::= ":" + ::= ";;" + ::= ";;;" + + ::= | + ::= " "* + ::= " "+ + ::= + + ::= | + ::= "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z" | "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z" + ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" +``` \ No newline at end of file From 9cb169c4d97dd6138a4d456f6b31198a56730561 Mon Sep 17 00:00:00 2001 From: Arpita-Jaiswal Date: Fri, 18 Oct 2024 16:27:29 +0530 Subject: [PATCH 2/3] Added 01-comment.ftd test in 0.5 --- v0.5/p1/t/01-comment.ftd | 2 ++ v0.5/p1/t/01-comment.json | 10 ++++++++++ 2 files changed, 12 insertions(+) create mode 100644 v0.5/p1/t/01-comment.ftd create mode 100644 v0.5/p1/t/01-comment.json diff --git a/v0.5/p1/t/01-comment.ftd b/v0.5/p1/t/01-comment.ftd new file mode 100644 index 000000000..1e672a9cd --- /dev/null +++ b/v0.5/p1/t/01-comment.ftd @@ -0,0 +1,2 @@ +;; This is comment +;; This is other line in comment diff --git a/v0.5/p1/t/01-comment.json b/v0.5/p1/t/01-comment.json new file mode 100644 index 000000000..a5eb98406 --- /dev/null +++ b/v0.5/p1/t/01-comment.json @@ -0,0 +1,10 @@ +[ + { + "type": "comment", + "source": { + "from": "1:0", + "to": "2:33", + "value": " This is comment\nThis is other line in comment" + } + } +] \ No newline at end of file From 78b04b85a5bf797151e5620fd6b81db4d9dad8a8 Mon Sep 17 00:00:00 2001 From: Arpita-Jaiswal Date: Fri, 18 Oct 2024 17:11:39 +0530 Subject: [PATCH 3/3] Fix: 01-comment.ftd example in 0.5 --- v0.5/p1/t/01-comment.json | 22 +++++++++++++--------- 1 file changed, 13 insertions(+), 9 deletions(-) diff --git a/v0.5/p1/t/01-comment.json b/v0.5/p1/t/01-comment.json index a5eb98406..30b68ffc1 100644 --- a/v0.5/p1/t/01-comment.json +++ b/v0.5/p1/t/01-comment.json @@ -1,10 +1,14 @@ -[ - { - "type": "comment", - "source": { - "from": "1:0", - "to": "2:33", - "value": " This is comment\nThis is other line in comment" +{ + "doc_name": "01-comment", + "items": [ + { + "from": 1, + "to": 53, + "value": { + "type": "comment", + "value": " This is comment\nThis is other line in comment" + } } - } -] \ No newline at end of file + ], + "line_starts": [1] +} \ No newline at end of file