-istream& eatwhite(istream& is) {
- char c;
- while (is.get(c)) {
- if (!isspace(c)) {
- is.putback(c);
- break;
- }
- }
- return is;
-}
-
-void Tokenize (const string& str,
- vector<string>& tokens,
- const string& delimiters = " ") {
- string::size_type lastPos = str.find_first_not_of(delimiters,0);
- string::size_type pos = str.find_first_of(delimiters,lastPos);
- while (string::npos != pos || string::npos != lastPos) {
+std::istream& eatwhite(std::istream& is) {
+ char c;
+ while (is.get(c)) {
+ if (!isspace(c)) {
+ is.putback(c);
+ break;
+ }
+ }
+ return is;
+}
+
+///////////////////////////////////////////////////////////////////////////
+// Because is not available in C++ (?)
+void Tokenize (const std::string& str,
+ std::vector<std::string>& tokens,
+ const std::string& delimiters) {
+ std::string::size_type lastPos = str.find_first_not_of(delimiters,0);
+ std::string::size_type pos = str.find_first_of (delimiters,lastPos);
+ while (std::string::npos != pos || std::string::npos != lastPos) {