Rooba
/
lark
mirror of https://github.com/lark-parser/lark.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added 'edit_terminals' option (Issue #406)

This commit is contained in:
Erez Sh 2019-09-13 16:12:22 +03:00
parent 535aebab3c
commit bb57629418
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lark/lark.py
View File

@ -69,6 +69,7 @@ class LarkOptions(Serialize):
'propagate_positions': False, 'propagate_positions': False,
'lexer_callbacks': {}, 'lexer_callbacks': {},
'maybe_placeholders': False, 'maybe_placeholders': False,
'edit_terminals': None,
} }
def __init__(self, options_dict): def __init__(self, options_dict):
@ -205,6 +206,10 @@ class Lark(Serialize):
# Compile the EBNF grammar into BNF # Compile the EBNF grammar into BNF
self.terminals, self.rules, self.ignore_tokens = self.grammar.compile(self.options.start) self.terminals, self.rules, self.ignore_tokens = self.grammar.compile(self.options.start)
if self.options.edit_terminals:
for t in self.terminals:
self.options.edit_terminals(t)
self._terminals_dict = {t.name:t for t in self.terminals} self._terminals_dict = {t.name:t for t in self.terminals}
# If the user asked to invert the priorities, negate them all here. # If the user asked to invert the priorities, negate them all here.