diff options
Diffstat (limited to 'docs/c1/grammar/abnf.txt')
| -rw-r--r-- | docs/c1/grammar/abnf.txt | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/docs/c1/grammar/abnf.txt b/docs/c1/grammar/abnf.txt index 6daaceb..7424f41 100644 --- a/docs/c1/grammar/abnf.txt +++ b/docs/c1/grammar/abnf.txt @@ -19,7 +19,7 @@ Blank = HTAB / LF / %x0b / %x0c / CR / SP / Comment Trail = SkipLine / SkipUnit / ";" "~" *Blank -Datum = BareString / DottedStr / CladDatum / Rune / RuneStr +Datum = BareString / SpecialStr / CladDatum / Rune / RuneStr / RuneDotStr / RuneClad / LabelRef / LabelDef / HashStr / HashDotStr / HashClad / QuoteExpr / JoinExpr @@ -36,7 +36,7 @@ AnyButLF = %x00-09 / %x0b-ff BareString = BareChar *( BareChar / Numeric ) -DottedStr = ( "." / Numeric ) *( "." / Numeric / BareChar ) +SpecialStr = SpecStrChar *( SpecStrChar / BareChar ) CladDatum = "|" *( PipeStrChar / "\" StringEsc ) "|" / DQUOTE *( QuotStrChar / "\" StringEsc ) DQUOTE @@ -48,7 +48,7 @@ Rune = "#" RuneName RuneStr = "#" RuneName "\" BareString -RuneDotStr = "#" RuneName "\" DottedStr +RuneDotStr = "#" RuneName "\" SpecialStr RuneClad = "#" RuneName CladDatum @@ -58,7 +58,7 @@ LabelDef = "#" "%" Label "=" Datum HashStr = "#" "\" BareString -HashDotStr = "#" "\" DottedStr +HashDotStr = "#" "\" SpecialStr HashClad = "#" CladDatum @@ -73,10 +73,12 @@ JoinExpr = Datum RJoinDatum BareChar = "!" / "$" / "%" / "*" / "/" / "<" / "=" / ">" - / "?" / "@" / "^" / "_" / "~" / ALPHA + / "?" / "^" / "_" / "~" / ALPHA Numeric = "+" / "-" / DIGIT +SpecStrChar = "." / ":" / Numeric + PipeStrChar = %x00-5b / %x5d-7b / %x7d-ff ; any but "|" or "\" QuotStrChar = %x00-21 / %x23-5b / %x5d-ff ; any but DQUOTE or "\" |