Python integerの例

コード例 #1

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

 def test_parallel(self):
   x = Var('x')
   eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a')
   assert_raises(NoSolution, eval, parse_text(parallel(integer(x), char('3')), '2'))

コード例 #2

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

 def test_parallel(self):
     x = Var('x')
     eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a')
     assert_raises(NoSolution, eval,
                   parse_text(parallel(integer(x), char('3')), '2'))

コード例 #3

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

 def test_number(self):
   x = LogicVar('x')
   eq_(eval(begin(parse_text(integer(x), '2'), getvalue(x))), '2')
   eq_(eval(begin(parse_text(integer(x), '234'), getvalue(x))), '234')
   eq_(eval(begin(parse_text(integer(x), '0232'), getvalue(x))), '0232') 

コード例 #4

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

 def test_number(self):
     x = LogicVar('x')
     eq_(eval(begin(parse_text(integer(x), '2'), getvalue(x))), '2')
     eq_(eval(begin(parse_text(integer(x), '234'), getvalue(x))), '234')
     eq_(eval(begin(parse_text(integer(x), '0232'), getvalue(x))), '0232')