def assertRoundtrip(txt):
self.assertEqual("Term(%r)" % (txt,), repr(_parseTerm(txt)))
def test_fullTerm(self):
"""
Shortcut syntax for terms is handled.
"""
self.assertEqual(_parseTerm("[x, y, 1]"),
_parseTerm(".tuple.(x, y, 1)"))
self.assertEqual(_parseTerm("{x, y, 1}"), _parseTerm(".bag.(x, y, 1)"))
self.assertEqual(_parseTerm("f {x, y, 1}"),
_parseTerm("f(.bag.(x, y, 1))"))
self.assertEqual(_parseTerm("a: b"), _parseTerm(".attr.(a, b)"))
self.assertEqual(_parseTerm('"a": b'), _parseTerm('.attr.("a", b)'))
self.assertEqual(_parseTerm('a: [b]'),
_parseTerm('.attr.(a, .tuple.(b))'))
def test_fullTerm(self):
"""
Shortcut syntax for terms is handled.
"""
self.assertEqual(_parseTerm("[x, y, 1]"), _parseTerm(".tuple.(x, y, 1)"))
self.assertEqual(_parseTerm("{x, y, 1}"), _parseTerm(".bag.(x, y, 1)"))
self.assertEqual(_parseTerm("f {x, y, 1}"), _parseTerm("f(.bag.(x, y, 1))"))
self.assertEqual(_parseTerm("a: b"), _parseTerm(".attr.(a, b)"))
self.assertEqual(_parseTerm('"a": b'), _parseTerm('.attr.("a", b)'))
self.assertEqual(_parseTerm('a: [b]'), _parseTerm('.attr.(a, .tuple.(b))'))
def assertRoundtrip(txt):
self.assertEqual("Term(%r)" % (txt, ), repr(_parseTerm(txt)))
