| 721 | } |
| 722 | |
| 723 | void FuzzyStringComparator::InputLine::updatePosition() |
| 724 | { |
| 725 | line_position_ = (Int(line_.tellg()) != -1 ? line_.tellg() : std::ios::pos_type(line_.str().length())); // save current reading position |
| 726 | } |
| 727 | |
| 728 | void FuzzyStringComparator::InputLine::seekGToSavedPosition() |
| 729 | { |