use super::*;
use std::char::*;
use std::iter::once;
use std::ops::Range;
macro_rules! impl_wrap_char {
($type: ty, $mapper: expr) => {
arbitrary!($type, SMapped<'a, char, Self>, ParamsType<'a, char>;
args => any_with_smap(args, $mapper));
};
}
impl_wrap_char!(EscapeDebug, char::escape_debug);
impl_wrap_char!(EscapeDefault, char::escape_default);
impl_wrap_char!(EscapeUnicode, char::escape_unicode);
#[cfg(MIN_VER_1_24_0)]
impl_wrap_char!(ToLowercase, char::to_lowercase);
#[cfg(MIN_VER_1_24_0)]
impl_wrap_char!(ToUppercase, char::to_uppercase);
#[cfg(feature = "unstable")]
arbitrary!(DecodeUtf8<<Vec<u8> as IntoIterator>::IntoIter>,
Flatten<Mapped<'a, u16, SMapped<'a, Vec<u8>, Self>>>;
any::<u16>().prop_flat_map(|size| any_with_smap(
product_pack![size_bounds(..size as usize), default()],
decode_utf8
))
);
#[cfg(MIN_VER_1_24_0)]
arbitrary!(DecodeUtf16<<Vec<u16> as IntoIterator>::IntoIter>,
Flatten<Mapped<'a, u16, SMapped<'a, Vec<u16>, Self>>>;
any::<u16>().prop_flat_map(|size| any_with_smap(
product_pack![size_bounds(..size as usize), default()],
decode_utf16
))
);
arbitrary!(ParseCharError, IndFlatten<Mapped<'a, 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 std::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(MIN_VER_1_24_0)]
no_panic_test!(
to_lowercase => ToLowercase,
to_uppercase => ToUppercase,
decode_utf16 => DecodeUtf16<<Vec<u16> as IntoIterator>::IntoIter>
);
#[cfg(feature = "unstable")]
no_panic_test!(
decode_utf8 => DecodeUtf8<<Vec<u8> as IntoIterator>::IntoIter>,
char_try_from_error => CharTryFromError
);
}