| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- import unittest
- import doctest
- from src.node import ExpressionNode
- from src.parser import Parser
- from src.validation import validate
- from tests.parser import ParserWrapper
- def tree(exp, **kwargs):
- return ParserWrapper(Parser, **kwargs).run([exp])
- def rewrite(exp, **kwargs):
- return ParserWrapper(Parser, **kwargs).run([exp, '@'])
- class RulesTestCase(unittest.TestCase):
- def assertDoctests(self, module):
- self.assertEqual(doctest.testmod(m=module)[0], 0,
- 'There are failed doctests.')
- def assertEqualPos(self, possibilities, expected):
- self.assertEqual(len(possibilities), len(expected))
- for p, e in zip(possibilities, expected):
- self.assertEqual(p.root, e.root)
- if p.args == None: # pragma: nocover
- self.assertIsNone(e.args)
- elif e.args == None: # pragma: nocover
- self.assertIsNone(p.args)
- else:
- for pair in zip(p.args, e.args):
- self.assertEqual(*pair)
- self.assertEqual(p, e)
- def assertEqualNodes(self, a, b):
- if not isinstance(a, ExpressionNode):
- return self.assertEqual(a, b)
- self.assertIsInstance(b, ExpressionNode)
- self.assertEqual(a.op, b.op)
- for ca, cb in zip(a, b):
- self.assertEqualNodes(ca, cb)
- def assertRewrite(self, rewrite_chain):
- try:
- for i, exp in enumerate(rewrite_chain[:-1]):
- self.assertMultiLineEqual(str(rewrite(exp)),
- str(rewrite_chain[i + 1]))
- except AssertionError as e: # pragma: nocover
- msg = e.args[0]
- msg += '-' * 30 + '\n'
- msg += 'rewrite failed: "%s" -> "%s"\n' \
- % (str(exp), str(rewrite_chain[i + 1]))
- msg += 'rewrite chain: ---\n'
- chain = []
- for j, c in enumerate(rewrite_chain):
- if i == j:
- chain.append('%2d %s <-- error' % (j, str(c)))
- else:
- chain.append('%2d %s' % (j, str(c)))
- e.message = msg + '\n'.join(chain)
- e.args = (e.message,) + e.args[1:]
- raise
- def assertValidate(self, exp, result):
- self.assertTrue(validate(exp, result),
- 'Validation failed: %s !=> %s')
|