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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
|
# Copyright (c) 2006-2008, 2010-2014 LOGILAB S.A. (Paris, FRANCE) <contact@logilab.fr>
# Copyright (c) 2007 Marien Zwart <marienz@gentoo.org>
# Copyright (c) 2013-2014 Google, Inc.
# Copyright (c) 2014-2016, 2018-2020 Claudiu Popa <pcmanticore@gmail.com>
# Copyright (c) 2014 Eevee (Alex Munroe) <amunroe@yelp.com>
# Copyright (c) 2015-2016 Ceridwen <ceridwenv@gmail.com>
# Copyright (c) 2016 Jakub Wilk <jwilk@jwilk.net>
# Copyright (c) 2018 Nick Drozd <nicholasdrozd@gmail.com>
# Copyright (c) 2018 Anthony Sottile <asottile@umich.edu>
# Copyright (c) 2019 hippo91 <guillaume.peillex@gmail.com>
# Copyright (c) 2019 Ashley Whetter <ashley@awhetter.co.uk>
# Copyright (c) 2020 David Gilman <davidgilman1@gmail.com>
# Licensed under the LGPL: https://www.gnu.org/licenses/old-licenses/lgpl-2.1.en.html
# For details: https://github.com/PyCQA/astroid/blob/master/COPYING.LESSER
import sys
import unittest
import textwrap
from astroid import MANAGER, Instance, nodes
from astroid.bases import BUILTINS
from astroid.builder import AstroidBuilder, extract_node
from astroid import exceptions
from astroid.raw_building import build_module
from astroid.manager import AstroidManager
from astroid import transforms
from . import resources
try:
import numpy # pylint: disable=unused-import
except ImportError:
HAS_NUMPY = False
else:
HAS_NUMPY = True
class NonRegressionTests(resources.AstroidCacheSetupMixin, unittest.TestCase):
def setUp(self):
sys.path.insert(0, resources.find("data"))
MANAGER.always_load_extensions = True
def tearDown(self):
MANAGER.always_load_extensions = False
sys.path.pop(0)
sys.path_importer_cache.pop(resources.find("data"), None)
def brainless_manager(self):
manager = AstroidManager()
# avoid caching into the AstroidManager borg since we get problems
# with other tests :
manager.__dict__ = {}
manager._failed_import_hooks = []
manager.astroid_cache = {}
manager._mod_file_cache = {}
manager._transform = transforms.TransformVisitor()
return manager
def test_module_path(self):
man = self.brainless_manager()
mod = man.ast_from_module_name("package.import_package_subpackage_module")
package = next(mod.igetattr("package"))
self.assertEqual(package.name, "package")
subpackage = next(package.igetattr("subpackage"))
self.assertIsInstance(subpackage, nodes.Module)
self.assertTrue(subpackage.package)
self.assertEqual(subpackage.name, "package.subpackage")
module = next(subpackage.igetattr("module"))
self.assertEqual(module.name, "package.subpackage.module")
def test_package_sidepackage(self):
manager = self.brainless_manager()
assert "package.sidepackage" not in MANAGER.astroid_cache
package = manager.ast_from_module_name("absimp")
self.assertIsInstance(package, nodes.Module)
self.assertTrue(package.package)
subpackage = next(package.getattr("sidepackage")[0].infer())
self.assertIsInstance(subpackage, nodes.Module)
self.assertTrue(subpackage.package)
self.assertEqual(subpackage.name, "absimp.sidepackage")
def test_living_property(self):
builder = AstroidBuilder()
builder._done = {}
builder._module = sys.modules[__name__]
builder.object_build(build_module("module_name", ""), Whatever)
@unittest.skipIf(not HAS_NUMPY, "Needs numpy")
def test_numpy_crash(self):
"""test don't crash on numpy"""
# a crash occurred somewhere in the past, and an
# InferenceError instead of a crash was better, but now we even infer!
builder = AstroidBuilder()
data = """
from numpy import multiply
multiply([1, 2], [3, 4])
"""
astroid = builder.string_build(data, __name__, __file__)
callfunc = astroid.body[1].value.func
inferred = callfunc.inferred()
self.assertEqual(len(inferred), 1)
def test_nameconstant(self):
# used to fail for Python 3.4
builder = AstroidBuilder()
astroid = builder.string_build("def test(x=True): pass")
default = astroid.body[0].args.args[0]
self.assertEqual(default.name, "x")
self.assertEqual(next(default.infer()).value, True)
def test_recursion_regression_issue25(self):
builder = AstroidBuilder()
data = """
import recursion as base
_real_Base = base.Base
class Derived(_real_Base):
pass
def run():
base.Base = Derived
"""
astroid = builder.string_build(data, __name__, __file__)
# Used to crash in _is_metaclass, due to wrong
# ancestors chain
classes = astroid.nodes_of_class(nodes.ClassDef)
for klass in classes:
# triggers the _is_metaclass call
klass.type # pylint: disable=pointless-statement
def test_decorator_callchain_issue42(self):
builder = AstroidBuilder()
data = """
def test():
def factory(func):
def newfunc():
func()
return newfunc
return factory
@test()
def crash():
pass
"""
astroid = builder.string_build(data, __name__, __file__)
self.assertEqual(astroid["crash"].type, "function")
def test_filter_stmts_scoping(self):
builder = AstroidBuilder()
data = """
def test():
compiler = int()
class B(compiler.__class__):
pass
compiler = B()
return compiler
"""
astroid = builder.string_build(data, __name__, __file__)
test = astroid["test"]
result = next(test.infer_call_result(astroid))
self.assertIsInstance(result, Instance)
base = next(result._proxied.bases[0].infer())
self.assertEqual(base.name, "int")
def test_ancestors_patching_class_recursion(self):
node = AstroidBuilder().string_build(
textwrap.dedent(
"""
import string
Template = string.Template
class A(Template):
pass
class B(A):
pass
def test(x=False):
if x:
string.Template = A
else:
string.Template = B
"""
)
)
klass = node["A"]
ancestors = list(klass.ancestors())
self.assertEqual(ancestors[0].qname(), "string.Template")
def test_ancestors_yes_in_bases(self):
# Test for issue https://bitbucket.org/logilab/astroid/issue/84
# This used to crash astroid with a TypeError, because an Uninferable
# node was present in the bases
node = extract_node(
"""
def with_metaclass(meta, *bases):
class metaclass(meta):
def __new__(cls, name, this_bases, d):
return meta(name, bases, d)
return type.__new__(metaclass, 'temporary_class', (), {})
import lala
class A(with_metaclass(object, lala.lala)): #@
pass
"""
)
ancestors = list(node.ancestors())
self.assertEqual(len(ancestors), 1)
self.assertEqual(ancestors[0].qname(), f"{BUILTINS}.object")
def test_ancestors_missing_from_function(self):
# Test for https://www.logilab.org/ticket/122793
node = extract_node(
"""
def gen(): yield
GEN = gen()
next(GEN)
"""
)
self.assertRaises(exceptions.InferenceError, next, node.infer())
def test_unicode_in_docstring(self):
# Crashed for astroid==1.4.1
# Test for https://bitbucket.org/logilab/astroid/issues/273/
# In a regular file, "coding: utf-8" would have been used.
node = extract_node(
"""
from __future__ import unicode_literals
class MyClass(object):
def method(self):
"With unicode : %s "
instance = MyClass()
"""
% "\u2019"
)
next(node.value.infer()).as_string()
def test_binop_generates_nodes_with_parents(self):
node = extract_node(
"""
def no_op(*args):
pass
def foo(*args):
def inner(*more_args):
args + more_args #@
return inner
"""
)
inferred = next(node.infer())
self.assertIsInstance(inferred, nodes.Tuple)
self.assertIsNotNone(inferred.parent)
self.assertIsInstance(inferred.parent, nodes.BinOp)
def test_decorator_names_inference_error_leaking(self):
node = extract_node(
"""
class Parent(object):
@property
def foo(self):
pass
class Child(Parent):
@Parent.foo.getter
def foo(self): #@
return super(Child, self).foo + ['oink']
"""
)
inferred = next(node.infer())
self.assertEqual(inferred.decoratornames(), {".Parent.foo.getter"})
def test_ssl_protocol(self):
node = extract_node(
"""
import ssl
ssl.PROTOCOL_TLSv1
"""
)
inferred = next(node.infer())
self.assertIsInstance(inferred, nodes.Const)
def test_recursive_property_method(self):
node = extract_node(
"""
class APropert():
@property
def property(self):
return self
APropert().property
"""
)
next(node.infer())
def test_uninferable_string_argument_of_namedtuple(self):
node = extract_node(
"""
import collections
collections.namedtuple('{}'.format("a"), '')()
"""
)
next(node.infer())
def test_regression_inference_of_self_in_lambda(self):
code = """
class A:
@b(lambda self: __(self))
def d(self):
pass
"""
node = extract_node(code)
inferred = next(node.infer())
assert isinstance(inferred, Instance)
assert inferred.qname() == ".A"
class Whatever:
a = property(lambda x: x, lambda x: x)
def test_ancestor_looking_up_redefined_function():
code = """
class Foo:
def _format(self):
pass
def format(self):
self.format = self._format
self.format()
Foo
"""
node = extract_node(code)
inferred = next(node.infer())
ancestor = next(inferred.ancestors())
_, found = ancestor.lookup("format")
assert len(found) == 1
assert isinstance(found[0], nodes.FunctionDef)
def test_crash_in_dunder_inference_prevented():
code = """
class MyClass():
def fu(self, objects):
delitem = dict.__delitem__.__get__(self, dict)
delitem #@
"""
inferred = next(extract_node(code).infer())
assert "builtins.dict.__delitem__" == inferred.qname()
if __name__ == "__main__":
unittest.main()
|