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
|
# This file is part of Hypothesis, which may be found at
# https://github.com/HypothesisWorks/hypothesis/
#
# Copyright the Hypothesis Authors.
# Individual contributors are listed in AUTHORS.rst and the git log.
#
# This Source Code Form is subject to the terms of the Mozilla Public License,
# v. 2.0. If a copy of the MPL was not distributed with this file, You can
# obtain one at https://mozilla.org/MPL/2.0/.
import runpy
import pytest
from hypothesis.internal import reflection
from hypothesis.internal.conjecture.utils import identity
from hypothesis.internal.reflection import get_pretty_function_description
from tests.common.utils import skipif_threading
@pytest.fixture(autouse=True, params=[True, False])
def clear_lambda_caches(request, monkeypatch):
# Run all tests in this file twice, once using cache and once forcing
# from-scratch generation
if request.param:
monkeypatch.setattr(reflection, "LAMBDA_DESCRIPTION_CACHE", {})
monkeypatch.setattr(reflection, "LAMBDA_DIGEST_DESCRIPTION_CACHE", {})
monkeypatch.setattr(reflection, "AST_LAMBDAS_CACHE", {})
def test_bracket_whitespace_is_stripped():
# fmt: off
t = lambda x: (x + 1 )
# fmt: on
assert get_pretty_function_description(t) == "lambda x: x + 1"
def test_can_have_unicode_in_lambda_sources():
t = lambda x: "é" not in x
assert get_pretty_function_description(t) == "lambda x: 'é' not in x"
def test_can_get_descriptions_of_nested_lambdas_with_different_names():
# fmt: off
ordered_pair = (
lambda right: [].map(
lambda length: ()))
# fmt: on
assert (
get_pretty_function_description(ordered_pair)
== "lambda right: [].map(lambda length: ())"
)
def test_does_not_error_on_unparsable_source():
# fmt: off
t = [
lambda x: \
# This will break ast.parse, but the brackets are needed for the real
# parser to accept this lambda
x][0]
# fmt: on
assert get_pretty_function_description(t) == "lambda x: x"
def test_separate_line_map_filter():
# this isn't intentionally testing nested lambdas, but hey, it's a nice bonus.
# fmt: off
f1 = (
lambda x: x
.map(lambda y: y)
)
f2 = (
lambda x: x
.filter(lambda y: y)
)
# fmt: on
assert get_pretty_function_description(f1) == "lambda x: x.map(lambda y: y)"
assert get_pretty_function_description(f2) == "lambda x: x.filter(lambda y: y)"
def test_source_of_lambda_is_pretty():
assert get_pretty_function_description(lambda x: True) == "lambda x: True"
def test_variable_names_are_not_pretty():
t = lambda x: True
assert get_pretty_function_description(t) == "lambda x: True"
def test_does_not_error_on_dynamically_defined_functions():
x = eval("lambda t: 1")
assert get_pretty_function_description(x) == "lambda t: <unknown>"
def test_collapses_whitespace_nicely():
# fmt: off
t = (
lambda x, y: 1
)
# fmt: on
assert get_pretty_function_description(t) == "lambda x, y: 1"
def test_is_not_confused_by_tuples():
p = (lambda x: x > 1, 2)[0]
assert get_pretty_function_description(p) == "lambda x: x > 1"
def test_strips_comments_from_the_end():
t = lambda x: 1 # A lambda comment
assert get_pretty_function_description(t) == "lambda x: 1"
def test_does_not_strip_hashes_within_a_string():
t = lambda x: "#"
assert get_pretty_function_description(t) == "lambda x: '#'"
def test_can_distinguish_between_two_lambdas_with_different_args():
a, b = (lambda x: 1, lambda y: 2)
assert get_pretty_function_description(a) == "lambda x: 1"
assert get_pretty_function_description(b) == "lambda y: 2"
def test_can_distinguish_between_two_lambdas_with_different_constants():
a, b = (lambda x: 1, lambda x: 2)
assert get_pretty_function_description(a) == "lambda x: 1"
assert get_pretty_function_description(b) == "lambda x: 2"
def test_can_distinguish_between_two_lambdas_with_different_signatures():
a, b = (lambda x: x, lambda y: y)
assert get_pretty_function_description(a) == "lambda x: x"
assert get_pretty_function_description(b) == "lambda y: y"
def test_can_distinguish_between_two_lambdas_where_one_fails_localparse():
# fmt: off
a, b = (
lambda x: x,
lambda x: x
or None,
)
# fmt: on
assert get_pretty_function_description(a) == "lambda x: x"
assert get_pretty_function_description(b) == "lambda x: x or None"
def test_does_not_get_confused_by_identical_lambdas():
a, b = (lambda x: 1, lambda x: 1)
assert get_pretty_function_description(a) == "lambda x: 1"
assert get_pretty_function_description(b) == "lambda x: 1"
c = 1
lambda_capturing_globals = (lambda: c, lambda: 1)
def test_lambda_capturing_globals():
assert get_pretty_function_description(lambda_capturing_globals[0]) == "lambda: c"
assert get_pretty_function_description(lambda_capturing_globals[1]) == "lambda: 1"
def test_lambda_capturing_locals():
const = 1
a, b = (lambda: const, lambda: 1)
assert get_pretty_function_description(a) == "lambda: const"
assert get_pretty_function_description(b) == "lambda: 1"
def test_can_distinguish_between_two_lambdas_with_different_captures():
# fmt: off
a = 1; f1 = lambda x=a: x; a=2; f2=lambda x=a: x # noqa: E702
# fmt: on
assert get_pretty_function_description(f1) == "lambda x=1: x"
assert get_pretty_function_description(f2) == "lambda x=2: x"
def test_lambda_source_break_after_bracket():
# Issue #4498 regression test, inspect.getsource only sees the first line
# fmt: off
f = (
lambda x: x
or None
)
# fmt: on
source = get_pretty_function_description(f)
assert source == "lambda x: x or None"
def test_lambda_source_break_after_def_with_brackets():
# fmt: off
f = (lambda n:
'aaa')
# fmt: on
source = get_pretty_function_description(f)
assert source == "lambda n: 'aaa'"
def test_lambda_source_break_after_def_with_line_continuation():
# fmt: off
f = lambda n:\
'aaa'
# fmt: on
source = get_pretty_function_description(f)
assert source == "lambda n: 'aaa'"
def arg_decorator(*s):
def accept(f):
return s
return accept
@arg_decorator(lambda x: x + 1)
def plus_one():
pass
@arg_decorator(lambda x: x + 1, lambda y: y * 2)
def two_decorators():
pass
def test_can_extract_lambda_repr_in_a_decorator():
assert get_pretty_function_description(plus_one[0]) == "lambda x: x + 1"
def test_can_extract_two_lambdas_from_a_decorator_if_args_differ():
a, b = two_decorators
assert get_pretty_function_description(a) == "lambda x: x + 1"
assert get_pretty_function_description(b) == "lambda y: y * 2"
@arg_decorator(lambda: ())
def to_brackets():
pass
def test_can_handle_brackets_in_decorator_argument():
assert get_pretty_function_description(to_brackets[0]) == "lambda: ()"
@arg_decorator(identity(lambda x: x + 1))
def decorator_with_wrapper():
pass
def test_can_handle_nested_lambda_in_decorator_argument():
assert (
get_pretty_function_description(decorator_with_wrapper[0]) == "lambda x: x + 1"
)
@skipif_threading # concurrent writes to the same file
def test_modifying_lambda_source_code_returns_unknown(tmp_path):
# see https://github.com/HypothesisWorks/hypothesis/pull/4452
test_module = tmp_path / "test_module.py"
test_module.write_text(
"# line one\n\ntest_lambda = lambda x: x * 2", encoding="utf-8"
)
module_globals = runpy.run_path(str(test_module))
test_module.write_text("# line one\n\n# line two", encoding="utf-8")
assert (
get_pretty_function_description(module_globals["test_lambda"])
== "lambda x: <unknown>"
)
|
