# HG changeset patch
# User Balazs Dezso <deba@inf.elte.hu>
# Date 1213633147 -7200
# Node ID c94a80f38d7fcde5fb63e26409be118d0afbefe4
# Parent 02f4d5d9bfd743e5737320a9f40fa964332bf953
Clarifying the usage of skipSection
diff -r 02f4d5d9bfd7 -r c94a80f38d7f lemon/lgf_reader.h
|
a
|
b
|
|
| 1139 | 1139 | |
| 1140 | 1140 | line_num = 0; |
| 1141 | 1141 | readLine(); |
| | 1142 | skipSection(); |
| 1142 | 1143 | |
| 1143 | 1144 | while (readSuccess()) { |
| 1144 | | skipSection(); |
| 1145 | 1145 | try { |
| 1146 | 1146 | char c; |
| 1147 | 1147 | std::string section, caption; |
| … |
… |
|
| 1178 | 1178 | if (it != _sections.end()) { |
| 1179 | 1179 | extra_sections.insert(section); |
| 1180 | 1180 | it->second->process(*_is, line_num); |
| 1181 | | readLine(); |
| 1182 | | } else { |
| 1183 | | readLine(); |
| 1184 | | skipSection(); |
| 1185 | 1181 | } |
| | 1182 | readLine(); |
| | 1183 | skipSection(); |
| 1186 | 1184 | } |
| 1187 | 1185 | } catch (DataFormatError& error) { |
| 1188 | 1186 | error.line(line_num); |
| … |
… |
|
| 1981 | 1979 | |
| 1982 | 1980 | line_num = 0; |
| 1983 | 1981 | readLine(); |
| | 1982 | skipSection(); |
| 1984 | 1983 | |
| 1985 | 1984 | while (readSuccess()) { |
| 1986 | | skipSection(); |
| 1987 | 1985 | try { |
| 1988 | 1986 | char c; |
| 1989 | 1987 | std::string section, caption; |
| … |
… |
|
| 2020 | 2018 | if (it != _sections.end()) { |
| 2021 | 2019 | extra_sections.insert(section); |
| 2022 | 2020 | it->second->process(*_is, line_num); |
| 2023 | | readLine(); |
| 2024 | | } else { |
| 2025 | | readLine(); |
| 2026 | | skipSection(); |
| 2027 | 2021 | } |
| | 2022 | readLine(); |
| | 2023 | skipSection(); |
| 2028 | 2024 | } |
| 2029 | 2025 | } catch (DataFormatError& error) { |
| 2030 | 2026 | error.line(line_num); |
