wip

abbiecnt · Sep 13, 2024 · 741f47f · 741f47f
1 parent 6ad3a6d
commit 741f47f
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 5 deletions.
diff --git a/src/base.rs b/src/base.rs
@@ -19,7 +19,11 @@ impl Base {
     }
 
     #[inline]
+    /// # Safety
+    /// 
+    /// 
     pub const unsafe fn add(&self, count: usize) -> NonNull<u8> {
+        // SAFETY: todo!()
         unsafe { self.ptr.add(count) }
     }
 

diff --git a/src/program.rs b/src/program.rs
@@ -96,7 +96,7 @@ impl Program {
     /// assert_eq!(data.as_ptr(), ptr.as_ptr());
     /// ```
     pub fn find(&self, pattern: &[u8]) -> Option<NonNull<u8>> {
-        assert!(pattern.len() >= 1);
+        assert!(!pattern.is_empty());
 
         self.as_slice()
             .par_windows(pattern.len())
@@ -134,7 +134,7 @@ impl Program {
     /// assert_eq!(data.as_ptr(), ptr.as_ptr());
     /// ```
     pub fn rfind(&self, pattern: &[u8]) -> Option<NonNull<u8>> {
-        assert!(pattern.len() >= 1);
+        assert!(!pattern.is_empty());
 
         self.as_slice()
             .par_windows(pattern.len())

diff --git a/src/section.rs b/src/section.rs
@@ -38,13 +38,13 @@ impl Section {
     }
 
     pub fn contains(&self, pattern: &[u8]) -> bool {
-        assert!(pattern.len() >= 1);
+        assert!(!pattern.is_empty());
 
         self.find(pattern).is_some()
     }
 
     pub fn find(&self, pattern: &[u8]) -> Option<NonNull<u8>> {
-        assert!(pattern.len() >= 1);
+        assert!(!pattern.is_empty());
 
         self.as_slice()
             .par_windows(pattern.len())
@@ -53,7 +53,7 @@ impl Section {
     }
 
     pub fn rfind(&self, pattern: &[u8]) -> Option<NonNull<u8>> {
-        assert!(pattern.len() >= 1);
+        assert!(!pattern.is_empty());
 
         self.as_slice()
             .par_windows(pattern.len())