Exemple #1
0
 def test_greedy_some5(self):
     _ = DummyVar('_')
     y = LogicVar('y')
     assert_raises(
         NoSolution, eval,
         begin(set_text('aaa'), greedy_some(char(_), _, y), char(_), eoi,
               y))
Exemple #2
0
 def test_greedy_some4(self):
     _ = DummyVar('_')
     y = LogicVar('y')
     eq_(
         eval(
             begin(set_text('aaa'), greedy_some(char(_), _, y), eoi,
                   getvalue(y))), ['a', 'a', 'a'])
Exemple #3
0
 def test_greedy_some5(self):
   _ = DummyVar('_')
   y = LogicVar('y')
   assert_raises(NoSolution, eval,
                 begin(set_text('aaa'), greedy_some(char(_), _, y), char(_), eoi, y))
Exemple #4
0
 def test_greedy_some4(self):
   _ = DummyVar('_')
   y = LogicVar('y')
   eq_(eval(begin(set_text('aaa'), greedy_some(char(_), _, y), eoi, getvalue(y))), ['a', 'a', 'a'])
Exemple #5
0
 def test_greedy_some3(self):
   assert_raises(NoSolution, eval, 
                 begin(set_text('aaa'), greedy_some(char('a')), char('a'), eoi))
Exemple #6
0
 def test_greedy_some2(self):
   eq_(eval(begin(set_text('aaa'), greedy_some(char('a')), eoi)), True)
Exemple #7
0
 def test_greedy_some3(self):
     assert_raises(
         NoSolution, eval,
         begin(set_text('aaa'), greedy_some(char('a')), char('a'), eoi))
Exemple #8
0
 def test_greedy_some2(self):
     eq_(eval(begin(set_text('aaa'), greedy_some(char('a')), eoi)), True)