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
90
91
92
93
94
95
96
97
98
99
100
use crate::std_facade::{Box, String, Vec};
use std::ffi::*;
use std::ops::RangeInclusive;
use crate::arbitrary::*;
use crate::collection::*;
use crate::strategy::statics::static_map;
use crate::strategy::*;
use super::string::not_utf8_bytes;
arbitrary!(CString,
SFnPtrMap<VecStrategy<RangeInclusive<u8>>, Self>, SizeRange;
args => static_map(vec(1..=::std::u8::MAX, args + 1), |mut vec| {
vec.pop().unwrap();
Self::new(vec).unwrap()
})
);
arbitrary!(OsString, MapInto<StrategyFor<String>, Self>,
<String as Arbitrary>::Parameters;
a => any_with::<String>(a).prop_map_into()
);
macro_rules! dst_wrapped {
($($w: ident),*) => {
$(arbitrary!($w<CStr>, MapInto<StrategyFor<CString>, Self>, SizeRange;
a => any_with::<CString>(a).prop_map_into()
);)*
$(arbitrary!($w<OsStr>, MapInto<StrategyFor<OsString>, Self>,
<String as Arbitrary>::Parameters;
a => any_with::<OsString>(a).prop_map_into()
);)*
};
}
dst_wrapped!(Box);
#[cfg(feature = "unstable")]
use std::rc::Rc;
#[cfg(feature = "unstable")]
use std::sync::Arc;
#[cfg(feature = "unstable")]
dst_wrapped!(Rc, Arc);
arbitrary!(FromBytesWithNulError, SMapped<Option<u16>, Self>; {
static_map(any::<Option<u16>>(), |opt_pos| {
if let Some(pos) = opt_pos {
let pos = pos as usize;
let mut v = Vec::<u8>::with_capacity(pos + 2);
v.extend(::std::iter::repeat(1).take(pos));
v.push(0);
v.push(1);
CStr::from_bytes_with_nul(v.as_slice()).unwrap_err()
} else {
CStr::from_bytes_with_nul(b"").unwrap_err()
}
})
});
arbitrary!(IntoStringError, SFnPtrMap<BoxedStrategy<Vec<u8>>, Self>;
static_map(not_utf8_bytes(false).boxed(), |bytes|
CString::new(bytes).unwrap().into_string().unwrap_err()
)
);
#[cfg(test)]
mod test {
no_panic_test!(
c_string => CString,
os_string => OsString,
box_c_str => Box<CStr>,
box_os_str => Box<OsStr>,
into_string_error => IntoStringError,
from_bytes_with_nul => FromBytesWithNulError
);
#[cfg(feature = "unstable")]
no_panic_test!(
rc_c_str => Rc<CStr>,
rc_os_str => Rc<OsStr>,
arc_c_str => Arc<CStr>,
arc_os_str => Arc<OsStr>
);
}