| Index: tools/lexer_generator/rule_lexer.py
|
| diff --git a/tools/lexer_generator/rule_lexer.py b/tools/lexer_generator/rule_lexer.py
|
| index f839ca4fd8f768527535d19994eb18468f27a70e..3fa1efed8639021ee365d6969a5df9fc485fa191 100644
|
| --- a/tools/lexer_generator/rule_lexer.py
|
| +++ b/tools/lexer_generator/rule_lexer.py
|
| @@ -31,6 +31,7 @@ class RuleLexer:
|
|
|
| tokens = (
|
| 'DEFAULT',
|
| + 'DEFAULT_ACTION',
|
| 'IDENTIFIER',
|
| 'STRING',
|
| 'REGEX',
|
| @@ -70,6 +71,8 @@ class RuleLexer:
|
| r'[a-zA-Z][a-zA-Z0-9_]*'
|
| if t.value == 'default':
|
| t.type = 'DEFAULT'
|
| + if t.value == 'default_action':
|
| + t.type = 'DEFAULT_ACTION'
|
| return t
|
|
|
| t_STRING = r'"((\\("|\w|\\))|[^\\"])+"'
|
|
|