214 |
stripWhiteSpace(w); |
stripWhiteSpace(w); |
215 |
stripLeftOrRightMarkerAtEnd(w); |
stripLeftOrRightMarkerAtEnd(w); |
216 |
string result = parseNumberRangeAtEnd(w, from, to); |
string result = parseNumberRangeAtEnd(w, from, to); |
217 |
if (result == w) return s; // parse error occured, return original input s |
if (result == w) return s; // parse error occurred, return original input s |
218 |
stripWhiteSpace(result); |
stripWhiteSpace(result); |
219 |
return result; |
return result; |
220 |
} |
} |
508 |
exit(EXIT_FAILURE); |
exit(EXIT_FAILURE); |
509 |
} catch (...) { |
} catch (...) { |
510 |
cerr << "Failed opening input file '" << filename << "':" << endl; |
cerr << "Failed opening input file '" << filename << "':" << endl; |
511 |
cerr << "Unknown exception occured while trying to access input file." << endl; |
cerr << "Unknown exception occurred while trying to access input file." << endl; |
512 |
exit(EXIT_FAILURE); |
exit(EXIT_FAILURE); |
513 |
} |
} |
514 |
} |
} |