def test_base1(self):
try:
t,_ = p.consume_term("paa paa")
except p.ParseError as e:
self.assertEqual(e.message, 'space separated atoms' )
def test_base(self):
t,_ = p.consume_term("p")
self.assertEqual(t, ['p'])
def test_p3(self):
s = "p(1,2,3),"
t, idx = p.consume_term(s)
self.assertEqual(t, ['p', ['1', '2', '3']])
self.assertEqual(idx, 7) # idx points to the last consumed character
def test_skip_in_consume_term(self):
s = "0123" + "p,q"
t,idx = p.consume_term(s, last_idx=3)
self.assertEqual(t, ['p'])
t1,_ = p.consume_term(s, last_idx=idx + 1)
self.assertEqual(t1, ['q'])
def test_p1(self):
t,idx = p.consume_term("p(1)")
self.assertEqual(t, ['p', ['1']])
self.assertEqual(idx, 3) # idx points to the last consumed character