def test_number_extracter_doubles_letters_with_lowercase_version_with_groupletters_for_float(x):
assume(len(x) <= 10)
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
t = float_splitter(s, True, True, False, '')
t = [''.join([low(z) + z for z in y]) if type(y) != float else y for y in t]
assert _number_extracter(s, _float_sign_exp_re, *float_nosafe_nolocale_group) == t
def test_parse_string_factory_parses_float_with_sign_exp_float(x):
assume(not any(type(y) == float and isnan(y) for y in x))
assume(all(whitespace_check(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _parse_string_factory(0, '', _float_sign_exp_re.split, no_op,
fast_float, tuple2)(s) == float_splitter(
s, True, True, '')
def test_number_extracter_inserts_empty_string_between_floats_for_py3safe_option(
x):
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _number_extracter(s, _float_sign_exp_re,
*float_safe_nolocale_nogroup) == float_splitter(
s, True, True, True, '')
def test_number_extracter_excludes_plus_sign_and_exponent_in_float_definition_for_unsigned_noexp_floats(
x):
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _number_extracter(s, _float_nosign_noexp_re,
*float_nosafe_nolocale_nogroup) == float_splitter(
s, False, False, False, '')
def test_number_extracter_doubles_letters_with_lowercase_version_with_groupletters_for_float(
x):
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
t = float_splitter(s, True, True, False, '')
t = [
''.join([low(z) + z for z in y]) if type(y) != float else y for y in t
]
assert _number_extracter(s, _float_sign_exp_re,
*float_nosafe_nolocale_group) == t
def test_number_extracter_inserts_empty_string_between_floats_for_py3safe_option(x):
assume(len(x) <= 10)
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _number_extracter(s, _float_sign_exp_re, *float_safe_nolocale_nogroup) == float_splitter(s, True, True, True, '')
def test_number_extracter_excludes_plus_sign_and_exponent_in_float_definition_for_unsigned_noexp_floats(x):
assume(len(x) <= 10)
assume(not any(type(y) == float and isnan(y) for y in x))
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _number_extracter(s, _float_nosign_noexp_re, *float_nosafe_nolocale_nogroup) == float_splitter(s, False, False, False, '')
def test_parse_string_factory_parses_float_with_sign_exp_float(x):
s = ''.join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _parse_string_factory(0, '', _float_sign_exp_re.split, no_op,
fast_float, tuple2)(s) == float_splitter(
s, True, True, '')
def test_parse_string_function_parses_float_with_sign_exp_float(x):
assume(not any(type(y) == float and isnan(y) for y in x))
assume(all(whitespace_check(y) for y in x))
s = "".join(repr(y) if type(y) in (float, long, int) else y for y in x)
assert _parse_string_function(0, "", _float_sign_exp_re.split, no_op, fast_float, tuple2)(s) == float_splitter(
s, True, True, ""
)
