| Index: tools/lexer_generator/transition_keys.py
|
| diff --git a/tools/lexer_generator/transition_keys.py b/tools/lexer_generator/transition_keys.py
|
| index e39cdc0e6469a0e0f5afb73cb6c2e86097fd4a96..a68ea30f527f8ce3e508be321adeefb211a03a1a 100644
|
| --- a/tools/lexer_generator/transition_keys.py
|
| +++ b/tools/lexer_generator/transition_keys.py
|
| @@ -239,6 +239,11 @@ class TransitionKey:
|
| return merged
|
|
|
| @staticmethod
|
| + def merged_key(keys):
|
| + f = lambda acc, key: acc + list(key.__ranges)
|
| + return TransitionKey.__key_from_ranges(False, reduce(f, keys, []))
|
| +
|
| + @staticmethod
|
| def __invert_ranges(ranges):
|
| inverted = []
|
| last = None
|
|
|