Esempio n. 1
0
 def test_greedy_any5(self):
     _ = DummyVar('_')
     y = LogicVar('y')
     assert_raises(
         NoSolution, eval,
         begin(set_text('aaa'), greedy_any(char(_), _, y), char(_), eoi,
               getvalue(y)))
Esempio n. 2
0
 def test_greedy_any4(self):
     _ = DummyVar('_')
     y = LogicVar('y')
     eq_(
         eval(
             begin(set_text('aaa'), greedy_any(char(_), _, y), eoi,
                   getvalue(y))), ['a', 'a', 'a'])
Esempio n. 3
0
 def test_greedy_any5(self):
   _ = DummyVar('_')
   y = LogicVar('y')
   assert_raises(NoSolution, eval,
                 begin(set_text('aaa'), greedy_any(char(_), _, y), char(_), eoi, getvalue(y)))
Esempio n. 4
0
 def test_greedy_any4(self):
   _ = DummyVar('_')
   y = LogicVar('y')
   eq_(eval(begin(set_text('aaa'), greedy_any(char(_), _, y), eoi, getvalue(y))), ['a', 'a', 'a'])
Esempio n. 5
0
 def test_greedy_any3(self):
   assert_raises(NoSolution, eval, 
                 begin(set_text('aaa'), greedy_any(char('a')), char('a'), eoi))
Esempio n. 6
0
 def test_greedy_any2(self):
   eq_(eval(begin(set_text('aaa'), greedy_any(char('a')), eoi)), True)
Esempio n. 7
0
 def test_greedy_any3(self):
     assert_raises(
         NoSolution, eval,
         begin(set_text('aaa'), greedy_any(char('a')), char('a'), eoi))
Esempio n. 8
0
 def test_greedy_any2(self):
     eq_(eval(begin(set_text('aaa'), greedy_any(char('a')), eoi)), True)