From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 24 Mar 2021 12:11:18 +0000 (+0000)
Subject: vpid: Provide is_empty
X-Git-Tag: otter-0.5.0~473
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3b7893a400edfb01af18425d152f2d0d6433c53f;p=otter.git

vpid: Provide is_empty

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/vpid.rs b/src/vpid.rs
index eff21b3c..e4f9e971 100644
--- a/src/vpid.rs
+++ b/src/vpid.rs
@@ -154,6 +154,8 @@ impl Notches {
     }
   }
 
+  pub fn is_empty(&self) -> bool { self.used == 0 }
+
   #[cfg(test)]
   fn check(&self) {
     let mut count_free = 0;