| Index: tools/lexer_generator/automaton.py
|
| diff --git a/tools/lexer_generator/automaton.py b/tools/lexer_generator/automaton.py
|
| index dff7f0c75bfd65ab73b287f573ef0fa4c5792847..7321fae5972459374fb9bd33d04a8031fb8f9a40 100644
|
| --- a/tools/lexer_generator/automaton.py
|
| +++ b/tools/lexer_generator/automaton.py
|
| @@ -132,6 +132,12 @@ class AutomatonState(object):
|
|
|
| class Automaton(object):
|
|
|
| + def __init__(self, encoding):
|
| + self.__encoding = encoding
|
| +
|
| + def encoding(self):
|
| + return self.__encoding
|
| +
|
| @staticmethod
|
| def visit_states(edge, visitor, visit_state = None, state_iter = None):
|
| if not state_iter:
|
|
|