| Index: tools/lexer_generator/code_generator.py
|
| diff --git a/tools/lexer_generator/code_generator.py b/tools/lexer_generator/code_generator.py
|
| index ff118d2cd6defdced68cf984eaa32f74b0f498af..87cb2ab742757b98e8db1179d54ab112eb6369a1 100644
|
| --- a/tools/lexer_generator/code_generator.py
|
| +++ b/tools/lexer_generator/code_generator.py
|
| @@ -88,8 +88,14 @@ code_%s:
|
| ''' % s.node_number()
|
|
|
| if action:
|
| - code += '%s\nBACK();\ngoto code_%s;\n' % (action.data(),
|
| - start_node_number)
|
| + if action.type() == 'code':
|
| + code += '%s\nBACK();\ngoto code_%s;\n' % (action.data(),
|
| + start_node_number)
|
| + elif action.type() == 'push_token':
|
| + #TODO
|
| + pass
|
| + else:
|
| + raise Exception("unknown type %s" % action.type())
|
| else:
|
| code += 'goto default_action;'
|
| return code
|
|
|