turned some tabs into spaces

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402385
This commit is contained in:
Davis King 2008-07-07 00:52:10 +00:00
parent e718340392
commit 886d770f05

View File

@ -98,8 +98,8 @@ namespace dlib
); );
/*! /*!
requires requires
- wstr is a valid UTF-16 string when sizeof(wchar_t) == 2 - wstr is a valid UTF-16 string when sizeof(wchar_t) == 2
- wstr is a valid UTF-32 string when sizeof(wchar_t) == 4 - wstr is a valid UTF-32 string when sizeof(wchar_t) == 4
ensures ensures
- converts wstr into UTF-32 string - converts wstr into UTF-32 string
!*/ !*/
@ -111,7 +111,7 @@ namespace dlib
); );
/*! /*!
requires requires
- str is a valid UTF-32 encoded string - str is a valid UTF-32 encoded string
ensures ensures
- converts str into wstring whose encoding is UTF-16 when sizeof(wchar_t) == 2 - converts str into wstring whose encoding is UTF-16 when sizeof(wchar_t) == 2
- converts str into wstring whose encoding is UTF-32 when sizeof(wchar_t) == 4 - converts str into wstring whose encoding is UTF-32 when sizeof(wchar_t) == 4
@ -124,7 +124,7 @@ namespace dlib
); );
/*! /*!
requires requires
- str is a valid multibyte string whose encoding is same as current locale setting - str is a valid multibyte string whose encoding is same as current locale setting
ensures ensures
- converts str into wstring whose encoding is UTF-16 when sizeof(wchar_t) == 2 - converts str into wstring whose encoding is UTF-16 when sizeof(wchar_t) == 2
- converts str into wstring whose encoding is UTF-32 when sizeof(wchar_t) == 4 - converts str into wstring whose encoding is UTF-32 when sizeof(wchar_t) == 4
@ -137,7 +137,7 @@ namespace dlib
); );
/*! /*!
requires requires
- str is a valid wide character string string whose encoding is same as current - str is a valid wide character string string whose encoding is same as current
locale setting locale setting
ensures ensures
- returns a multibyte encoded version of the given string - returns a multibyte encoded version of the given string