r447:a07eb292dd95
Mon, 08 Dec 2008 22:47:15
[Not Reviewed]
0 comments (0 inline)
0
1
0
| ... | ... |
@@ -867,13 +867,15 @@ |
| 867 | 867 |
|
| 868 | 868 |
void skipSection() {
|
| 869 | 869 |
char c; |
| 870 | 870 |
while (readSuccess() && line >> c && c != '@') {
|
| 871 | 871 |
readLine(); |
| 872 | 872 |
} |
| 873 |
|
|
| 873 |
if (readSuccess()) {
|
|
| 874 |
line.putback(c); |
|
| 875 |
} |
|
| 874 | 876 |
} |
| 875 | 877 |
|
| 876 | 878 |
void readNodes() {
|
| 877 | 879 |
|
| 878 | 880 |
std::vector<int> map_index(_node_maps.size()); |
| 879 | 881 |
int map_num, label_index; |
| ... | ... |
@@ -1696,13 +1698,15 @@ |
| 1696 | 1698 |
|
| 1697 | 1699 |
void skipSection() {
|
| 1698 | 1700 |
char c; |
| 1699 | 1701 |
while (readSuccess() && line >> c && c != '@') {
|
| 1700 | 1702 |
readLine(); |
| 1701 | 1703 |
} |
| 1702 |
|
|
| 1704 |
if (readSuccess()) {
|
|
| 1705 |
line.putback(c); |
|
| 1706 |
} |
|
| 1703 | 1707 |
} |
| 1704 | 1708 |
|
| 1705 | 1709 |
void readNodes() {
|
| 1706 | 1710 |
|
| 1707 | 1711 |
std::vector<int> map_index(_node_maps.size()); |
| 1708 | 1712 |
int map_num, label_index; |
| ... | ... |
@@ -2223,13 +2227,15 @@ |
| 2223 | 2227 |
|
| 2224 | 2228 |
void skipSection() {
|
| 2225 | 2229 |
char c; |
| 2226 | 2230 |
while (readSuccess() && line >> c && c != '@') {
|
| 2227 | 2231 |
readLine(); |
| 2228 | 2232 |
} |
| 2229 |
|
|
| 2233 |
if (readSuccess()) {
|
|
| 2234 |
line.putback(c); |
|
| 2235 |
} |
|
| 2230 | 2236 |
} |
| 2231 | 2237 |
|
| 2232 | 2238 |
public: |
| 2233 | 2239 |
|
| 2234 | 2240 |
|
| 2235 | 2241 |
/// \name Execution of the reader |
| ... | ... |
@@ -2564,13 +2570,15 @@ |
| 2564 | 2570 |
|
| 2565 | 2571 |
void skipSection() {
|
| 2566 | 2572 |
char c; |
| 2567 | 2573 |
while (readSuccess() && line >> c && c != '@') {
|
| 2568 | 2574 |
readLine(); |
| 2569 | 2575 |
} |
| 2570 |
|
|
| 2576 |
if (readSuccess()) {
|
|
| 2577 |
line.putback(c); |
|
| 2578 |
} |
|
| 2571 | 2579 |
} |
| 2572 | 2580 |
|
| 2573 | 2581 |
void readMaps(std::vector<std::string>& maps) {
|
| 2574 | 2582 |
char c; |
| 2575 | 2583 |
if (!readLine() || !(line >> c) || c == '@') {
|
| 2576 | 2584 |
if (readSuccess() && line) line.putback(c); |
0 comments (0 inline)