equal
deleted
inserted
replaced
123 def TestTextElement(text, criteria): |
123 def TestTextElement(text, criteria): |
124 lines = text.splitlines() |
124 lines = text.splitlines() |
125 test_result = [] |
125 test_result = [] |
126 result = criteria["pattern"].search(text) |
126 result = criteria["pattern"].search(text) |
127 while result is not None: |
127 while result is not None: |
|
128 prev_pos=result.endpos |
128 start = TextLenInRowColumn(text[:result.start()]) |
129 start = TextLenInRowColumn(text[:result.start()]) |
129 end = TextLenInRowColumn(text[:result.end() - 1]) |
130 end = TextLenInRowColumn(text[:result.end() - 1]) |
130 test_result.append((start, end, "\n".join(lines[start[0]:end[0] + 1]))) |
131 test_result.append((start, end, "\n".join(lines[start[0]:end[0] + 1]))) |
131 result = criteria["pattern"].search(text, result.end()) |
132 result = criteria["pattern"].search(text, result.end()) |
|
133 if result is not None and prev_pos==result.endpos: |
|
134 break |
132 return test_result |
135 return test_result |
133 |
136 |
134 def TextMatched(str1, str2): |
137 def TextMatched(str1, str2): |
135 return str1 and str2 and (str1.upper() == str2.upper()) |
138 return str1 and str2 and (str1.upper() == str2.upper()) |
136 |
139 |