titaniumtown/YTBN-Graphing-Software
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more debug checks in SteppedVector

Browse Source
This commit is contained in:
Simon Gardling 2022-05-23 09:54:12 -04:00
parent de405d168a
commit dd16941174
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/misc.rs
View File

@ -54,12 +54,14 @@ impl<'a> SteppedVector<'a> {
debug_assert!(!x.is_nan());
debug_assert!(self.step > 0.0);
debug_assert!(self.step.is_sign_positive());
debug_assert!(self.step.is_finite());
debug_assert!(self.data.len() >= 2);
unsafe {
assume(!self.step.is_nan());
assume(self.step > 0.0);
assume(self.step.is_sign_positive());
assume(self.step.is_finite());
assume(self.data.len() >= 2);
}
@ -104,6 +106,9 @@ impl<'a> From<&'a [f64]> for SteppedVector<'a> {
// Ensure data is of correct length
debug_assert!(data.len() > 2);
// check on debug if data is sorted
debug_assert!(data.windows(2).all(|w| w[0] <= w[1]));
unsafe {
assume(data.len() > 2);
assume(!data.is_empty());
@ -124,6 +129,7 @@ impl<'a> From<&'a [f64]> for SteppedVector<'a> {
debug_assert!(step.is_sign_positive());
debug_assert!(step.is_finite());
debug_assert!(step > 0.0);
// Create and return the struct
SteppedVector {