strip white space at the begining or end of string */
| 2573 | |
| 2574 | /* strip white space at the begining or end of string */ |
| 2575 | string Trim(const string &inputString) |
| 2576 | { |
| 2577 | string result = inputString; |
| 2578 | int idxBegin = inputString.find_first_not_of(" \n\r\t"); |
| 2579 | int idxEnd = inputString.find_last_not_of(" \n\r\t"); |
| 2580 | if (idxBegin >= 0 && idxEnd >= 0) |
| 2581 | result = inputString.substr(idxBegin, idxEnd + 1 - idxBegin); |
| 2582 | return result; |
| 2583 | } |
| 2584 | size_t get_PDB_lines(const string filename, |
| 2585 | vector<vector<string> >&PDB_lines, vector<string> &chainID_list, |
| 2586 | vector<int> &mol_vec, const int ter_opt, const int infmt_opt, |
no outgoing calls
no test coverage detected