00001
00002
00008 #if !defined(__ads_utility_string_h__)
00009 #define __ads_utility_string_h__
00010
00011 #include "../defs.h"
00012
00013 #include <iomanip>
00014 #include <string>
00015 #include <sstream>
00016
00017 #include <cassert>
00018
00019 BEGIN_NAMESPACE_ADS
00020
00021
00024
00026 template <typename StringOutputIterator>
00027 int
00028 split(const std::string& string, const std::string& separator,
00029 StringOutputIterator output);
00030
00032 void
00033 makeZeroPaddedExtension(const int n, int maximumNumber, std::string* ext);
00034
00036
00037 END_NAMESPACE_ADS
00038
00039 #define __ads_utility_string_ipp__
00040 #include "string.ipp"
00041 #undef __ads_utility_string_ipp__
00042
00043 #endif