tiv
0423218095
0030895: Coding Rules - specify std namespace explicitly for std::cout and streams
...
"endl" manipulator for Message_Messenger is renamed to "Message_EndLine".
The following entities from std namespace are now used
with std:: explicitly specified (from Standard_Stream.hxx):
std::istream,std::ostream,std::ofstream,std::ifstream,std::fstream,
std::filebuf,std::streambuf,std::streampos,std::ios,std::cout,std::cerr,
std::cin,std::endl,std::ends,std::flush,std::setw,std::setprecision,
std::hex,std::dec.
2019-08-16 12:16:38 +03:00
..
2015-07-11 12:01:52 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2019-04-23 18:12:16 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2018-06-14 14:03:08 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-11 12:01:52 +03:00
2017-02-02 16:35:54 +03:00
2015-12-04 14:15:06 +03:00
2019-08-16 12:16:38 +03:00
2015-07-12 07:42:38 +03:00
2019-08-16 12:16:38 +03:00
2015-07-12 13:57:20 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2017-10-06 10:28:12 +03:00
2017-10-06 10:28:12 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2017-07-06 13:18:13 +03:00
2017-07-06 13:18:13 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2015-07-12 07:42:38 +03:00
2015-10-15 14:04:43 +03:00
2019-08-16 12:16:38 +03:00
2015-07-12 07:42:38 +03:00
2015-07-12 07:42:38 +03:00