def yield_match(vars, rest):
if rest is None:
rest = ([], [])
if 0 < len(rest[0]) + len(rest[1]) == len(expression.get_leaves()):
# continue
return
options = {}
for name, value in list(vars.items()):
if name.startswith('_option_'):
options[name[len('_option_'):]] = value
del vars[name]
new_expression = self.do_replace(expression, vars, options, evaluation)
if new_expression is None:
new_expression = expression
if rest[0] or rest[1]:
result = Expression(expression.get_head(), *(
rest[0] + [new_expression] + rest[1]))
else:
result = new_expression
# Flatten out sequences (important for Rule itself!)
result = result.flatten_pattern_sequence()
if return_list:
result_list.append(result)
# count += 1
if max_list is not None and len(result_list) >= max_list:
# return result_list
raise StopGenerator_BaseRule(result_list)
else:
raise StopGenerator_BaseRule(result)
def yield_match(vars, rest):
if rest is None:
rest = ([], [])
if 0 < len(rest[0]) + len(rest[1]) == len(expression.get_leaves()):
# continue
return
options = {}
for name, value in list(vars.items()):
if name.startswith('_option_'):
options[name[len('_option_'):]] = value
del vars[name]
new_expression = self.do_replace(expression, vars, options, evaluation)
if new_expression is None:
new_expression = expression
if rest[0] or rest[1]:
result = Expression(expression.get_head(), *(
rest[0] + [new_expression] + rest[1]))
else:
result = new_expression
# Flatten out sequences (important for Rule itself!)
result = result.flatten_pattern_sequence()
if return_list:
result_list.append(result)
# count += 1
if max_list is not None and len(result_list) >= max_list:
# return result_list
raise StopGenerator_BaseRule(result_list)
else:
raise StopGenerator_BaseRule(result)
