Exemplo n.º 1
0
 def test_eval_expr_proc(self):
     env = Env({'x': op.add, 'a': 111, 'b': 222})
     self.assertEqual(eval_expr(['x', 'a', 'b'], env), 333)
     
     with self.assertRaises(TypeError) as cm:
         eval_expr(['a', 'b'], env)
     self.assertEqual(
         str(cm.exception),
         'Expression "a" (int) not callable in "(a b)"')
Exemplo n.º 2
0
    def test_eval_expr_lambda(self):
        procedure = eval_expr(['lambda', 'x', ['+', 'x', 4]])
        self.assertEqual(procedure(10), 14)

        procedure = eval_expr(['lambda', ['x'], ['+', 'x', 4]])
        self.assertEqual(procedure(10), 14)

        procedure = eval_expr(['lambda', ['x', 'y'], ['+', 'x', 'y', 4]])
        self.assertEqual(procedure(10, 20), 34)
Exemplo n.º 3
0
    def test_eval_expr_begin(self):
        with self.assertRaises(SyntaxError):
            eval_expr(['begin'])

        self.assertEqual(eval_expr(['begin', 1, 2, 3]), 3)
Exemplo n.º 4
0
 def test_eval_expr_define(self):
     env = Env({'var': 0})
     self.assertIsNone(eval_expr(['define', 'var', 789], env))
     self.assertEqual(env['var'], 789)
Exemplo n.º 5
0
 def test_eval_expr_define_modifies_current_env(self):
     outer = Env({'var': 0})
     inner = Env({}, outer)
     self.assertIsNone(eval_expr(['define', 'var', 789], inner))
     self.assertEqual(inner, {'var': 789})
     self.assertEqual(outer, {'var': 0})
Exemplo n.º 6
0
 def test_eval_expr_set_modified_defining_env(self):
     outer = Env({'var': 0})
     inner = Env({}, outer)
     self.assertIsNone(eval_expr(['set!', 'var', 789], inner))
     self.assertEqual(inner, {})
     self.assertEqual(outer, {'var': 789})
Exemplo n.º 7
0
 def test_eval_expr_set_raises_on_new(self):
     with self.assertRaises(NameError):
         eval_expr(['set!', 'new_variable', 0])
Exemplo n.º 8
0
 def test_eval_expr_if_evaluates_pred_conseq_and_alt(self):
     env = Env({'t':1, 'f':0, 'conseq':123, 'alt':456})
     self.assertEqual(eval_expr(['if', 't', 'conseq', 'undef'], env), 123)
     self.assertEqual(eval_expr(['if', 'f', 'undef', 'alt'], env), 456)
Exemplo n.º 9
0
 def test_eval_expr_if(self):
     self.assertEqual(eval_expr(['if', 1, 123, 456]), 123)
     self.assertEqual(eval_expr(['if', 0, 123, 456]), 456)
Exemplo n.º 10
0
 def test_eval_expr_quote(self):
     self.assertEqual(eval_expr(['quote', 123]), 123)
     self.assertEqual(eval_expr(['quote', 'abc']), 'abc')
     self.assertEqual(eval_expr(['quote', ['+', 2, 3]]), ['+', 2, 3])
Exemplo n.º 11
0
 def test_eval_expr_variable_reference(self):
     self.assertEqual(eval_expr('x', Env({'x':123})), 123)
Exemplo n.º 12
0
 def test_eval_expr_constant_literals(self):
     self.assertEqual(eval_expr(123), 123)
     self.assertEqual(eval_expr(1.23), 1.23)