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
use crate::std_facade::Vec;
use core::char::*;
use core::iter::once;
use core::ops::Range;
use crate::collection::vec;
multiplex_alloc! {
core::char::DecodeUtf16, std::char::DecodeUtf16,
core::char::DecodeUtf16Error, std::char::DecodeUtf16Error,
core::char::decode_utf16, std::char::decode_utf16
}
const VEC_MAX: usize = ::core::u16::MAX as usize;
use crate::arbitrary::*;
use crate::strategy::statics::static_map;
use crate::strategy::*;
macro_rules! impl_wrap_char {
($type: ty, $mapper: expr) => {
arbitrary!($type, SMapped<char, Self>;
static_map(any::<char>(), $mapper));
};
}
impl_wrap_char!(EscapeDebug, char::escape_debug);
impl_wrap_char!(EscapeDefault, char::escape_default);
impl_wrap_char!(EscapeUnicode, char::escape_unicode);
#[cfg(feature = "unstable")]
impl_wrap_char!(ToLowercase, char::to_lowercase);
#[cfg(feature = "unstable")]
impl_wrap_char!(ToUppercase, char::to_uppercase);
#[cfg(feature = "break-dead-code")]
arbitrary!(DecodeUtf16<<Vec<u16> as IntoIterator>::IntoIter>,
SMapped<Vec<u16>, Self>;
static_map(vec(any::<u16>(), ..VEC_MAX), decode_utf16)
);
arbitrary!(ParseCharError, IndFlatten<Mapped<bool, Just<Self>>>;
any::<bool>().prop_ind_flat_map(|is_two|
Just((if is_two { "__" } else { "" }).parse::<char>().unwrap_err()))
);
#[cfg(feature = "unstable")]
arbitrary!(CharTryFromError; {
use core::convert::TryFrom;
char::try_from(0xD800 as u32).unwrap_err()
});
arbitrary!(DecodeUtf16Error, SFnPtrMap<Range<u16>, Self>;
static_map(0xD800..0xE000, |x|
decode_utf16(once(x)).next().unwrap().unwrap_err())
);
#[cfg(test)]
mod test {
no_panic_test!(
escape_debug => EscapeDebug,
escape_default => EscapeDefault,
escape_unicode => EscapeUnicode,
parse_char_error => ParseCharError,
decode_utf16_error => DecodeUtf16Error
);
#[cfg(feature = "break-dead-code")]
no_panic_test!(
decode_utf16 => DecodeUtf16<<Vec<u16> as IntoIterator>::IntoIter>
);
#[cfg(feature = "unstable")]
no_panic_test!(
to_lowercase => ToLowercase,
to_uppercase => ToUppercase,
char_try_from_error => CharTryFromError
);
}