Add contract to Channel.consumeAll to force the input buffer to be empty.

2019-01-20 14:31:29 +01:00 · 2019-01-20 14:31:29 +01:00 · 3503001ec6
parent c21e1aa06d
commit 3503001ec6
1 changed files with 2 additions and 1 deletions
--- a/source/vibe/core/channel.d
+++ b/source/vibe/core/channel.d
@ -84,7 +84,8 @@ struct Channel(T, size_t buffer_size) {
 		avaiable, `dst` will be left untouched and `false` is returned.
 	*/
 	bool consumeAll(ref FixedRingBuffer!(T, buffer_size) dst)
-	{ return m_impl.consumeAll(dst); }
+		in { assert(dst.empty); }
+		body { return m_impl.consumeAll(dst); }

 	/** Enqueues an element.