mirror of
https://github.com/wassname/segpy.git
synced 2026-07-15 11:26:04 +08:00
42 lines
1.9 KiB
Python
42 lines
1.9 KiB
Python
from itertools import accumulate, starmap
|
|
from hypothesis import strategy
|
|
from hypothesis.specifiers import integers_in_range
|
|
from segpy.util import batched
|
|
|
|
PRINTABLE_ASCII_RANGE = (32, 127)
|
|
|
|
|
|
def multiline_ascii_encodable_text(min_num_lines, max_num_lines):
|
|
"""A Hypothesis strategy to produce a multiline Unicode string.
|
|
|
|
Args:
|
|
min_num_lines: The minimum number of lines in the produced strings.
|
|
max_num_lines: The maximum number of lines in the produced strings.
|
|
|
|
Returns:
|
|
A strategy for generating Unicode strings containing only newlines
|
|
and characters which are encodable as printable 7-bit ASCII characters.
|
|
"""
|
|
|
|
return strategy(integers_in_range(min_num_lines, max_num_lines)) \
|
|
.flatmap(lambda n: ([integers_in_range(*PRINTABLE_ASCII_RANGE)],) * n) \
|
|
.map(lambda xs: '\n'.join(bytes(x).decode('ascii') for x in xs))
|
|
|
|
|
|
def spaced_ranges(min_num_ranges, max_num_ranges, min_interval, max_interval):
|
|
"""A Hypothesis strategy to produce separated, non-overlapping ranges.
|
|
|
|
Args:
|
|
min_num_ranges: The minimum number of ranges to produce. TODO: Correct?
|
|
max_num_ranges: The maximum number of ranges to produce.
|
|
min_interval: The minimum interval used for the lengths of the alternating ranges and spaces.
|
|
max_interval: The maximum interval used for the lengths of the alternating ranges and spaces.
|
|
"""
|
|
return strategy(integers_in_range(min_num_ranges, max_num_ranges)) \
|
|
.map(lambda n: 2*n) \
|
|
.flatmap(lambda n: (integers_in_range(min_interval, max_interval),) * n) \
|
|
.map(list).map(lambda lst: list(accumulate(lst))) \
|
|
.map(lambda lst: list(batched(lst, 2))) \
|
|
.map(lambda pairs: list(starmap(range, pairs)))
|
|
|