From 55c7d8e1c1ca1b4a5a6974653794afb5eab15c14 Mon Sep 17 00:00:00 2001 From: Davis King Date: Sun, 15 Jul 2012 14:18:43 -0400 Subject: [PATCH] clarified spec --- dlib/serialize.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/dlib/serialize.h b/dlib/serialize.h index e78f93101..64cccf5fb 100644 --- a/dlib/serialize.h +++ b/dlib/serialize.h @@ -32,6 +32,10 @@ ensures - #item == a deserialized copy of the serializable_type that was in the input stream in. + - Reads all the bytes associated with the serialized serializable_type + contained inside the input stream and no more. This means you + can serialize multiple objects to an output stream and then read + them all back in, one after another, using deserialize(). - if (serializable_type implements the enumerable interface) then - item.at_start() == true throws