/usr/lib/pypy/dist-packages/hypothesis/provisional.py is in pypy-hypothesis 3.44.1-2ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | # coding=utf-8
#
# This file is part of Hypothesis, which may be found at
# https://github.com/HypothesisWorks/hypothesis-python
#
# Most of this work is copyright (C) 2013-2017 David R. MacIver
# (david@drmaciver.com), but it contains contributions by others. See
# CONTRIBUTING.rst for a full list of people who may hold copyright, and
# consult the git log if you need to determine who owns an individual
# contribution.
#
# 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 http://mozilla.org/MPL/2.0/.
#
# END HEADER
"""This module contains various provisional APIs and strategies.
It is intended for internal use, to ease code reuse, and is not stable.
Point releases may move or break the contents at any time!
Internet strategies should conform to https://tools.ietf.org/html/rfc3696 or
the authoritative definitions it links to. If not, report the bug!
"""
from __future__ import division, print_function, absolute_import
import string
import hypothesis.strategies as st
@st.defines_strategy_with_reusable_values
def domains():
"""A strategy for :rfc:`1035` fully qualified domain names."""
atoms = st.text(string.ascii_letters + '0123456789-',
min_size=1, max_size=63
).filter(lambda s: '-' not in s[0] + s[-1])
return st.builds(
lambda x, y: '.'.join(x + [y]),
st.lists(atoms, min_size=1),
# TODO: be more devious about top-level domains
st.sampled_from(['com', 'net', 'org', 'biz', 'info'])
).filter(lambda url: len(url) <= 255)
@st.defines_strategy_with_reusable_values
def emails():
"""A strategy for email addresses.
See https://github.com/HypothesisWorks/hypothesis-python/issues/162
for work on a permanent replacement.
"""
local_chars = string.ascii_letters + string.digits + "!#$%&'*+-/=^_`{|}~"
local_part = st.text(local_chars, min_size=1, max_size=64)
# TODO: include dot-atoms, quoted strings, escaped chars, etc in local part
return st.builds('{}@{}'.format, local_part, domains()).filter(
lambda addr: len(addr) <= 255)
@st.defines_strategy_with_reusable_values
def ip4_addr_strings():
"""A strategy for IPv4 address strings.
This consists of four strings representing integers [0..255],
without zero-padding, joined by dots.
"""
return st.builds('{}.{}.{}.{}'.format, *(4 * [st.integers(0, 255)]))
@st.defines_strategy_with_reusable_values
def ip6_addr_strings():
"""A strategy for IPv6 address strings.
This consists of sixteen quads of hex digits (0000 .. FFFF), joined
by colons. Values do not currently have zero-segments collapsed.
"""
part = st.integers(0, 2**16 - 1).map(u'{:04x}'.format)
return st.tuples(*[part] * 8).map(lambda a: u':'.join(a).upper())
|