| Index: tools/lexer_generator/dfa.py
|
| diff --git a/tools/lexer_generator/dfa.py b/tools/lexer_generator/dfa.py
|
| index 21ba88641958e13aad6d0b54e331123db6bd7189..83cd67780c67051a7c2dd97ac3c4944871ecc31a 100644
|
| --- a/tools/lexer_generator/dfa.py
|
| +++ b/tools/lexer_generator/dfa.py
|
| @@ -47,7 +47,6 @@ class DfaState:
|
| def transitions(self):
|
| return self.__transitions
|
|
|
| -
|
| class Dfa:
|
|
|
| def __init__(self, start_name, mapping, end_names):
|
| @@ -73,9 +72,9 @@ class Dfa:
|
| while edge:
|
| next_edge = set()
|
| for node in edge:
|
| - next_edge = next_edge | set(node.transitions().values())
|
| + next_edge |= set(node.transitions().values())
|
| state = function(node, state)
|
| - visited = visited | edge
|
| + visited |= edge
|
| edge = next_edge - visited
|
| return state
|
|
|
| @@ -103,5 +102,7 @@ digraph finite_state_machine {
|
| node [shape = circle];
|
| %s
|
| }
|
| - ''' % (start_shape, start_number, " ".join(terminals), "\n".join(node_content))
|
| -
|
| + ''' % (start_shape,
|
| + start_number,
|
| + " ".join(terminals),
|
| + "\n".join(node_content))
|
|
|