DRSS

commit 2343d58f514ffaf9062f4fbe10e824826c97a9ce
parent b21ccc43e07769300b2c1acb8bf1ddd59d22ee68
Author: Dominik Schmidt <das1993@hotmail.com>
Date:   Thu, 10 Sep 2015 00:30:46 +0200

removeOldEntries: do some contract programming.

Diffstat:
drss/rss.d
 | 
8
+++++++-

1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/drss/rss.d b/drss/rss.d
@@ -219,7 +219,13 @@ abstract class DRSS(T=Entry){
 	/**
 	 * Removes every entry older than the max_entries newest.
 	 */
-	private void removeOldEntries(){
+	private void removeOldEntries()
+	out{
+		size_t real_length=entries[].walkLength;
+		assert(real_length==max_entries);
+		assert(real_length==entry_count);
+	}
+	body{
 		auto r=entries[];
 		auto i=max_entries;
 		while(i-->0 && !r.empty){