1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
# copyright 2003-2015 LOGILAB S.A. (Paris, FRANCE), all rights reserved.
# contact http://www.logilab.fr/ -- mailto:contact@logilab.fr
#
# This file is part of astroid.
#
# astroid is free software: you can redistribute it and/or modify it
# under the terms of the GNU Lesser General Public License as published by the
# Free Software Foundation, either version 2.1 of the License, or (at your
# option) any later version.
#
# astroid is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
# for more details.
#
# You should have received a copy of the GNU Lesser General Public License along
# with astroid. If not, see <http://www.gnu.org/licenses/>.
import unittest
from astroid import builder
from astroid import InferenceError
from astroid import nodes
from astroid.interpreter import util
from astroid import test_utils
from astroid import util as astroid_util
class InferenceUtil(unittest.TestCase):
def test_not_exclusive(self):
module = builder.parse("""
x = 10
for x in range(5):
print (x)
if x > 0:
print ('#' * x)
""", __name__, __file__)
xass1 = module.locals['x'][0]
assert xass1.lineno == 2
xnames = [n for n in module.nodes_of_class(nodes.Name) if n.name == 'x']
assert len(xnames) == 3
assert xnames[1].lineno == 6
self.assertEqual(util.are_exclusive(xass1, xnames[1]), False)
self.assertEqual(util.are_exclusive(xass1, xnames[2]), False)
def test_if(self):
module = builder.parse('''
if 1:
a = 1
a = 2
elif 2:
a = 12
a = 13
else:
a = 3
a = 4
''')
a1 = module.locals['a'][0]
a2 = module.locals['a'][1]
a3 = module.locals['a'][2]
a4 = module.locals['a'][3]
a5 = module.locals['a'][4]
a6 = module.locals['a'][5]
self.assertEqual(util.are_exclusive(a1, a2), False)
self.assertEqual(util.are_exclusive(a1, a3), True)
self.assertEqual(util.are_exclusive(a1, a5), True)
self.assertEqual(util.are_exclusive(a3, a5), True)
self.assertEqual(util.are_exclusive(a3, a4), False)
self.assertEqual(util.are_exclusive(a5, a6), False)
def test_try_except(self):
module = builder.parse('''
try:
def exclusive_func2():
"docstring"
except TypeError:
def exclusive_func2():
"docstring"
except:
def exclusive_func2():
"docstring"
else:
def exclusive_func2():
"this one redefine the one defined line 42"
''')
f1 = module.locals['exclusive_func2'][0]
f2 = module.locals['exclusive_func2'][1]
f3 = module.locals['exclusive_func2'][2]
f4 = module.locals['exclusive_func2'][3]
self.assertEqual(util.are_exclusive(f1, f2), True)
self.assertEqual(util.are_exclusive(f1, f3), True)
self.assertEqual(util.are_exclusive(f1, f4), False)
self.assertEqual(util.are_exclusive(f2, f4), True)
self.assertEqual(util.are_exclusive(f3, f4), True)
self.assertEqual(util.are_exclusive(f3, f2), True)
self.assertEqual(util.are_exclusive(f2, f1), True)
self.assertEqual(util.are_exclusive(f4, f1), False)
self.assertEqual(util.are_exclusive(f4, f2), True)
def test_unpack_infer_uninferable_nodes(self):
node = test_utils.extract_node('''
x = [A] * 1
f = [x, [A] * 2]
f
''')
inferred = next(node.infer())
unpacked = list(util.unpack_infer(inferred))
self.assertEqual(len(unpacked), 3)
self.assertTrue(all(elt is astroid_util.Uninferable
for elt in unpacked))
def test_unpack_infer_empty_tuple(self):
node = test_utils.extract_node('''
()
''')
inferred = next(node.infer())
with self.assertRaises(InferenceError) as cm:
next(util.unpack_infer(inferred))
if __name__ == '__main__':
unittest.main()
|