Python eval_unifyの例

コード例 #1

ファイル: testparser.py プロジェクト: chaosim/dao

 def test_digit_string0(self):
   x = LogicVar('x')
   eq_(eval(parse_text(digits0, '')), '')
   eq_(eval(parse_text(digits0, 'a')), '')
   eq_(eval(parse_text(digits0, '123')), '123')
   eq_(eval(parse_text(is_(x, digits0), '123a')), '123')
   eq_(eval(begin(parse_text(eval_unify(x, digits0), '123 '), getvalue(x))), '123')

コード例 #2

ファイル: testparser.py プロジェクト: hermetique/dao

 def test_digit_string1(self):
     x = LogicVar('x')
     eq_(eval(parse_text(digits1, '123')), '123')
     eq_(eval(parse_text(is_(x, digits1), '123a')), '123')
     eq_(
         eval(begin(parse_text(eval_unify(x, digits1), '123 '),
                    getvalue(x))), '123')

コード例 #3

ファイル: testparser.py プロジェクト: hermetique/dao

 def test_underline_letter_digit(self):
     x = LogicVar('x')
     eq_(eval(parse_text(underline_letter_digit, '1')), '1')
     eq_(eval(parse_text(is_(x, underline_letter_digit), 'a')), 'a')
     eq_(
         eval(
             begin(parse_text(eval_unify(x, underline_letter_digit), '_'),
                   getvalue(x))), '_')

コード例 #4

ファイル: testparser.py プロジェクト: chaosim/dao

 def test_underline_letter_digit(self):
   x = LogicVar('x')
   eq_(eval(parse_text(underline_letter_digit, '1')), '1')
   eq_(eval(parse_text(is_(x, underline_letter_digit), 'a')), 'a')
   eq_(eval(begin(parse_text(eval_unify(x, underline_letter_digit), '_'), getvalue(x))), '_')

コード例 #5

ファイル: testparser.py プロジェクト: chaosim/dao

 def test_digit(self):
   x = LogicVar('x')
   eq_(eval(parse_text(digit, '1')), '1')
   eq_(eval(parse_text(is_(x, digit), '1')), '1')
   eq_(eval(begin(parse_text(eval_unify(x, digit), '1'), getvalue(x))), '1')

コード例 #6

ファイル: testparser.py プロジェクト: hermetique/dao

 def test_digit(self):
     x = LogicVar('x')
     eq_(eval(parse_text(digit, '1')), '1')
     eq_(eval(parse_text(is_(x, digit), '1')), '1')
     eq_(eval(begin(parse_text(eval_unify(x, digit), '1'), getvalue(x))),
         '1')