blob: 9c2ed48d54950d52a1813aab75f49ba3f4c73885 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/quex/input/code/base.py 2020-08-17 11:27:16.948578316 +0200
+++ b/quex/input/code/base.py 2020-08-17 11:27:27.604426654 +0200
@@ -123,7 +123,7 @@
def set_source_reference(self, SourceReference):
self.__source_reference = SourceReference
- @typed(Re=re._pattern_type)
+ @typed(Re=re.Pattern)
def contains_string(self, Re): return self.__check_code(lambda x: Re.search(x) is not None)
def is_empty(self): return not self.__check_code(lambda x: len(x) != 0)
def is_whitespace(self): return not self.__check_code(lambda x: len(x.strip()) != 0)
|