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
|
# 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 unicodedata
import pytest
from hypothesis.errors import InvalidArgument
from hypothesis.strategies import characters
from tests.common.debug import (
assert_no_examples,
check_can_generate_examples,
find_any,
minimal,
)
from tests.common.utils import fails_with
@fails_with(InvalidArgument)
def test_nonexistent_category_argument():
check_can_generate_examples(characters(exclude_categories=["foo"]))
def test_bad_codepoint_arguments():
with pytest.raises(InvalidArgument):
check_can_generate_examples(characters(min_codepoint=42, max_codepoint=24))
def test_exclude_all_available_range():
with pytest.raises(InvalidArgument):
check_can_generate_examples(
characters(
min_codepoint=ord("0"), max_codepoint=ord("0"), exclude_characters="0"
)
)
def test_when_nothing_could_be_produced():
with pytest.raises(InvalidArgument):
check_can_generate_examples(
characters(
categories=["Cc"], min_codepoint=ord("0"), max_codepoint=ord("9")
)
)
def test_characters_of_specific_groups():
st = characters(categories=("Lu", "Nd"))
find_any(st, lambda c: unicodedata.category(c) == "Lu")
find_any(st, lambda c: unicodedata.category(c) == "Nd")
assert_no_examples(st, lambda c: unicodedata.category(c) not in ("Lu", "Nd"))
def test_characters_of_major_categories():
st = characters(categories=("L", "N"))
find_any(st, lambda c: unicodedata.category(c).startswith("L"))
find_any(st, lambda c: unicodedata.category(c).startswith("N"))
assert_no_examples(st, lambda c: unicodedata.category(c)[0] not in ("L", "N"))
def test_exclude_characters_of_specific_groups():
st = characters(exclude_categories=("Lu", "Nd"))
find_any(st, lambda c: unicodedata.category(c) != "Lu")
find_any(st, lambda c: unicodedata.category(c) != "Nd")
assert_no_examples(st, lambda c: unicodedata.category(c) in ("Lu", "Nd"))
def test_exclude_characters_of_major_categories():
st = characters(exclude_categories=("L", "N"))
find_any(st, lambda c: not unicodedata.category(c).startswith("L"))
find_any(st, lambda c: not unicodedata.category(c).startswith("N"))
assert_no_examples(st, lambda c: unicodedata.category(c)[0] in ("L", "N"))
def test_find_one():
char = minimal(characters(min_codepoint=48, max_codepoint=48))
assert char == "0"
def test_find_something_rare():
st = characters(categories=["Zs"], min_codepoint=12288)
find_any(st, lambda c: unicodedata.category(c) == "Zs")
assert_no_examples(st, lambda c: unicodedata.category(c) != "Zs")
def test_whitelisted_characters_alone():
with pytest.raises(InvalidArgument):
check_can_generate_examples(characters(include_characters="te02тест49st"))
def test_whitelisted_characters_overlap_blacklisted_characters():
good_chars = "te02тест49st"
bad_chars = "ts94тсет"
with pytest.raises(InvalidArgument) as exc:
check_can_generate_examples(
characters(
min_codepoint=ord("0"),
max_codepoint=ord("9"),
include_characters=good_chars,
exclude_characters=bad_chars,
)
)
assert repr(good_chars) in str(exc)
assert repr(bad_chars) in str(exc)
def test_whitelisted_characters_override():
good_characters = "teтестst"
st = characters(
min_codepoint=ord("0"),
max_codepoint=ord("9"),
include_characters=good_characters,
)
find_any(st, lambda c: c in good_characters)
find_any(st, lambda c: c in "0123456789")
assert_no_examples(st, lambda c: c not in good_characters + "0123456789")
def test_blacklisted_characters():
bad_chars = "te02тест49st"
st = characters(
min_codepoint=ord("0"), max_codepoint=ord("9"), exclude_characters=bad_chars
)
assert "1" == minimal(st)
assert_no_examples(st, lambda c: c in bad_chars)
def test_whitelist_characters_disjoint_blacklist_characters():
good_chars = "123abc"
bad_chars = "456def"
st = characters(
min_codepoint=ord("0"),
max_codepoint=ord("9"),
exclude_characters=bad_chars,
include_characters=good_chars,
)
assert_no_examples(st, lambda c: c in bad_chars)
|
