def init(self, expr):
super(Except, self).init(expr)
self.c = Pattern.create(expr.leaves[0])
if len(expr.leaves) == 2:
self.p = Pattern.create(expr.leaves[1])
else:
self.p = Pattern.create(Expression('Blank'))
def init(self, expr):
super(Optional, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
if len(expr.leaves) == 2:
self.default = expr.leaves[1]
else:
self.default = None
def match(expr, form, evaluation):
class StopGenerator_MatchQ(StopGenerator):
pass
form = Pattern.create(form)
def yield_func(vars, rest):
raise StopGenerator_MatchQ(Symbol("True"))
try:
form.match(yield_func, expr, {}, evaluation)
except StopGenerator_MatchQ, exc:
return True
def init(self, expr, min=1):
self.pattern = Pattern.create(expr.leaves[0])
self.max = None
self.min = min
if len(expr.leaves) == 2:
leaf_1 = expr.leaves[1]
if (leaf_1.has_form('List', 1, 2) and all(leaf.get_int_value() for leaf in leaf_1.leaves)):
self.max = leaf_1.leaves[-1].get_int_value()
self.min = leaf_1.leaves[0].get_int_value()
elif leaf_1.get_int_value():
self.max = leaf_1.get_int_value()
else:
self.error('range', 2, expr)
def apply(self, expr, form, evaluation):
'MatchQ[expr_, form_]'
class StopGenerator_MatchQ(StopGenerator):
pass
form = Pattern.create(form)
#for vars, rest in form.match(expr, {}, evaluation):
def yield_func(vars, rest):
#return Symbol("True")
raise StopGenerator_MatchQ(Symbol("True"))
try:
form.match(yield_func, expr, {}, evaluation)
except StopGenerator_MatchQ, exc:
return exc.value
def __init__(self, pattern, system=False):
super(BaseRule, self).__init__()
self.pattern = Pattern.create(pattern)
self.system = system
def init(self, expr):
super(HoldPattern, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
def init(self, expr):
super(Pattern_, self).init(expr)
self.varname = expr.leaves[0].get_name()
if self.varname is None:
self.error('patvar', expr)
self.pattern = Pattern.create(expr.leaves[1])
def init(self, expr):
super(Alternatives, self).init(expr)
self.alternatives = [Pattern.create(leaf) for leaf in expr.leaves]
def init(self, expr):
super(Condition, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
self.test = expr.leaves[1]
def init(self, expr):
super(Condition, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
self.test = expr.leaves[1]
def init(self, expr):
super(PatternTest, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
self.test = expr.leaves[1]
self.test_name = self.test.get_name()
def __init__(self, form):
self.form = Pattern.create(form)
def init(self, expr):
super(HoldPattern, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
def __init__(self, pattern, system=False) -> None:
self.pattern = Pattern.create(pattern)
self.system = system
def __init__(self, pattern, system=False):
super(BaseRule, self).__init__()
self.pattern = Pattern.create(pattern)
self.system = system
def init(self, expr):
super(Pattern_, self).init(expr)
self.varname = expr.leaves[0].get_name()
if self.varname is None:
self.error('patvar', expr)
self.pattern = Pattern.create(expr.leaves[1])
def __init__(self, pattern, system=False):
self.pattern = Pattern.create(pattern)
self.system = system
def __init__(self, form):
self.form = Pattern.create(form)
def init(self, expr):
super(Alternatives, self).init(expr)
self.alternatives = [Pattern.create(leaf) for leaf in expr.leaves]
def init(self, expr):
super(PatternTest, self).init(expr)
self.pattern = Pattern.create(expr.leaves[0])
self.test = expr.leaves[1]
self.test_name = self.test.get_name()
