| Index: tools/lexer_generator/code_generator.py
|
| diff --git a/tools/lexer_generator/code_generator.py b/tools/lexer_generator/code_generator.py
|
| index 87cb2ab742757b98e8db1179d54ab112eb6369a1..598c562701cf7ce8b3bfcec37175b1135b6f7c8e 100644
|
| --- a/tools/lexer_generator/code_generator.py
|
| +++ b/tools/lexer_generator/code_generator.py
|
| @@ -92,8 +92,9 @@ code_%s:
|
| code += '%s\nBACK();\ngoto code_%s;\n' % (action.data(),
|
| start_node_number)
|
| elif action.type() == 'push_token':
|
| - #TODO
|
| - pass
|
| + content = 'PUSH_TOKEN(Token::%s);' % action.data()
|
| + code += '%s\nBACK();\ngoto code_%s;\n' % (content,
|
| + start_node_number)
|
| else:
|
| raise Exception("unknown type %s" % action.type())
|
| else:
|
|
|