73     size_t start = 0;  in Trim()  local
76     while (start < str.size()) {  in Trim()
77         if (!isspace(str[start])) {  in Trim()
80         start++;  in Trim()
83     while (start < end) {  in Trim()
90     if (end < start) {  in Trim()
94     return str.substr(start, end - start + 1);  in Trim()
101     size_t start = 0;  in Split()  local
103         pos = str.find_first_of(pattern, start);  in Split()
104         result.push_back(str.substr(start, pos - start));  in Split()
108         start = pos + 1;  in Split()