# HG changeset patch
# User Balazs Dezso <deba@inf.elte.hu>
# Date 1228764213 -3600
# Branch 1.0
# Node ID 09e5305041299284970abd1ce94e6d6024445d28
# Parent d05ad26c4d717b2d167c2427e4bbeb45546508c7
Fix skipSection() function (ticket #193)
diff -r d05ad26c4d71 -r 09e530504129 lemon/lgf_reader.h
|
a
|
b
|
|
| 870 | 870 | while (readSuccess() && line >> c && c != '@') { |
| 871 | 871 | readLine(); |
| 872 | 872 | } |
| 873 | | line.putback(c); |
| | 873 | if (readSuccess()) { |
| | 874 | line.putback(c); |
| | 875 | } |
| 874 | 876 | } |
| 875 | 877 | |
| 876 | 878 | void readNodes() { |
| … |
… |
|
| 1699 | 1701 | while (readSuccess() && line >> c && c != '@') { |
| 1700 | 1702 | readLine(); |
| 1701 | 1703 | } |
| 1702 | | line.putback(c); |
| | 1704 | if (readSuccess()) { |
| | 1705 | line.putback(c); |
| | 1706 | } |
| 1703 | 1707 | } |
| 1704 | 1708 | |
| 1705 | 1709 | void readNodes() { |
| … |
… |
|
| 2226 | 2230 | while (readSuccess() && line >> c && c != '@') { |
| 2227 | 2231 | readLine(); |
| 2228 | 2232 | } |
| 2229 | | line.putback(c); |
| | 2233 | if (readSuccess()) { |
| | 2234 | line.putback(c); |
| | 2235 | } |
| 2230 | 2236 | } |
| 2231 | 2237 | |
| 2232 | 2238 | public: |
| … |
… |
|
| 2567 | 2573 | while (readSuccess() && line >> c && c != '@') { |
| 2568 | 2574 | readLine(); |
| 2569 | 2575 | } |
| 2570 | | line.putback(c); |
| | 2576 | if (readSuccess()) { |
| | 2577 | line.putback(c); |
| | 2578 | } |
| 2571 | 2579 | } |
| 2572 | 2580 | |
| 2573 | 2581 | void readMaps(std::vector<std::string>& maps) { |
