Made the spec more clear.

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%403083
This commit is contained in:
Davis King 2009-05-30 16:41:39 +00:00
parent 8bbaca6fc1
commit 17035449a7
1 changed files with 4 additions and 3 deletions

View File

@ -114,7 +114,8 @@ namespace dlib
/*! /*!
GENERAL GENERAL
This exception is thrown if you try to access a key or This exception is thrown if you try to access a key or
block that doesn't exist inside a config reader. block that doesn't exist inside a config reader. The type
member of this exception will be set to ECONFIG_READER.
!*/ !*/
public: public:
config_reader_access_error( config_reader_access_error(
@ -262,7 +263,7 @@ namespace dlib
with T set to std::string, or std::vector<std::string>, or with T set to std::string, or std::vector<std::string>, or
dlib::std_vector_c<std::string> dlib::std_vector_c<std::string>
ensures ensures
- #keys == a queue containing all the keys defined in this config_reader's block. - #keys == a collection containing all the keys defined in this config_reader's block.
(i.e. for all strings str in keys it is the case that is_key_defined(str) == true) (i.e. for all strings str in keys it is the case that is_key_defined(str) == true)
!*/ !*/
@ -278,7 +279,7 @@ namespace dlib
with T set to std::string, or std::vector<std::string>, or with T set to std::string, or std::vector<std::string>, or
dlib::std_vector_c<std::string> dlib::std_vector_c<std::string>
ensures ensures
- #blocks == a queue containing the names of all the blocks defined in this - #blocks == a collection containing the names of all the blocks defined in this
config_reader's block. config_reader's block.
(i.e. for all strings str in blocks it is the case that is_block_defined(str) == true) (i.e. for all strings str in blocks it is the case that is_block_defined(str) == true)
!*/ !*/