Browse Source
Disallow '. .' for '..' syntax (Issue #513)
tags/gm/2021-09-23T00Z/github.com--lark-parser-lark/0.8.0
Erez Sh
6 years ago
1 changed files with 4 additions and 3 deletions
Unified View
Diff Options
-
+4 -3lark/load_grammar.py
+ 4
- 3
lark/load_grammar.py
View File
| @@ -77,7 +77,8 @@ TERMINALS = { | |||||
| '_COLON': ':', | '_COLON': ':', | ||||
| '_COMMA': ',', | '_COMMA': ',', | ||||
| '_OR': r'\|', | '_OR': r'\|', | ||||
| '_DOT': r'\.', | |||||
| '_DOT': r'\.(?!\.)', | |||||
| '_DOTDOT': r'\.\.', | |||||
| 'TILDE': '~', | 'TILDE': '~', | ||||
| 'RULE': '!?[_?]?[a-z][_a-z0-9]*', | 'RULE': '!?[_?]?[a-z][_a-z0-9]*', | ||||
| 'TERMINAL': '_?[A-Z][_A-Z0-9]*', | 'TERMINAL': '_?[A-Z][_A-Z0-9]*', | ||||
| @@ -112,7 +113,7 @@ RULES = { | |||||
| '?expr': ['atom', | '?expr': ['atom', | ||||
| 'atom OP', | 'atom OP', | ||||
| 'atom TILDE NUMBER', | 'atom TILDE NUMBER', | ||||
| 'atom TILDE NUMBER _DOT _DOT NUMBER', | |||||
| 'atom TILDE NUMBER _DOTDOT NUMBER', | |||||
| ], | ], | ||||
| '?atom': ['_LPAR expansions _RPAR', | '?atom': ['_LPAR expansions _RPAR', | ||||
| @@ -130,7 +131,7 @@ RULES = { | |||||
| '?name': ['RULE', 'TERMINAL'], | '?name': ['RULE', 'TERMINAL'], | ||||
| 'maybe': ['_LBRA expansions _RBRA'], | 'maybe': ['_LBRA expansions _RBRA'], | ||||
| 'range': ['STRING _DOT _DOT STRING'], | |||||
| 'range': ['STRING _DOTDOT STRING'], | |||||
| 'term': ['TERMINAL _COLON expansions _NL', | 'term': ['TERMINAL _COLON expansions _NL', | ||||
| 'TERMINAL _DOT NUMBER _COLON expansions _NL'], | 'TERMINAL _DOT NUMBER _COLON expansions _NL'], | ||||