| ... | ... |
@@ -825,98 +825,100 @@ |
| 825 | 825 |
/// map reading rule will be abandoned, and the nodes of the graph |
| 826 | 826 |
/// will not be constructed, which usually cause that the arc set |
| 827 | 827 |
/// could not be read due to lack of node name resolving. |
| 828 | 828 |
/// Therefore \c skipArcs() function should also be used, or |
| 829 | 829 |
/// \c useNodes() should be used to specify the label of the nodes. |
| 830 | 830 |
DigraphReader& skipNodes() {
|
| 831 | 831 |
LEMON_ASSERT(!_skip_nodes, "Skip nodes already set"); |
| 832 | 832 |
_skip_nodes = true; |
| 833 | 833 |
return *this; |
| 834 | 834 |
} |
| 835 | 835 |
|
| 836 | 836 |
/// \brief Skips the reading of arc section |
| 837 | 837 |
/// |
| 838 | 838 |
/// Omit the reading of the arc section. This implies that each arc |
| 839 | 839 |
/// map reading rule will be abandoned, and the arcs of the graph |
| 840 | 840 |
/// will not be constructed. |
| 841 | 841 |
DigraphReader& skipArcs() {
|
| 842 | 842 |
LEMON_ASSERT(!_skip_arcs, "Skip arcs already set"); |
| 843 | 843 |
_skip_arcs = true; |
| 844 | 844 |
return *this; |
| 845 | 845 |
} |
| 846 | 846 |
|
| 847 | 847 |
/// @} |
| 848 | 848 |
|
| 849 | 849 |
private: |
| 850 | 850 |
|
| 851 | 851 |
bool readLine() {
|
| 852 | 852 |
std::string str; |
| 853 | 853 |
while(++line_num, std::getline(*_is, str)) {
|
| 854 | 854 |
line.clear(); line.str(str); |
| 855 | 855 |
char c; |
| 856 | 856 |
if (line >> std::ws >> c && c != '#') {
|
| 857 | 857 |
line.putback(c); |
| 858 | 858 |
return true; |
| 859 | 859 |
} |
| 860 | 860 |
} |
| 861 | 861 |
return false; |
| 862 | 862 |
} |
| 863 | 863 |
|
| 864 | 864 |
bool readSuccess() {
|
| 865 | 865 |
return static_cast<bool>(*_is); |
| 866 | 866 |
} |
| 867 | 867 |
|
| 868 | 868 |
void skipSection() {
|
| 869 | 869 |
char c; |
| 870 | 870 |
while (readSuccess() && line >> c && c != '@') {
|
| 871 | 871 |
readLine(); |
| 872 | 872 |
} |
| 873 |
if (readSuccess()) {
|
|
| 873 | 874 |
line.putback(c); |
| 874 | 875 |
} |
| 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; |
| 880 | 882 |
|
| 881 | 883 |
char c; |
| 882 | 884 |
if (!readLine() || !(line >> c) || c == '@') {
|
| 883 | 885 |
if (readSuccess() && line) line.putback(c); |
| 884 | 886 |
if (!_node_maps.empty()) |
| 885 | 887 |
throw FormatError("Cannot find map names");
|
| 886 | 888 |
return; |
| 887 | 889 |
} |
| 888 | 890 |
line.putback(c); |
| 889 | 891 |
|
| 890 | 892 |
{
|
| 891 | 893 |
std::map<std::string, int> maps; |
| 892 | 894 |
|
| 893 | 895 |
std::string map; |
| 894 | 896 |
int index = 0; |
| 895 | 897 |
while (_reader_bits::readToken(line, map)) {
|
| 896 | 898 |
if (maps.find(map) != maps.end()) {
|
| 897 | 899 |
std::ostringstream msg; |
| 898 | 900 |
msg << "Multiple occurence of node map: " << map; |
| 899 | 901 |
throw FormatError(msg.str()); |
| 900 | 902 |
} |
| 901 | 903 |
maps.insert(std::make_pair(map, index)); |
| 902 | 904 |
++index; |
| 903 | 905 |
} |
| 904 | 906 |
|
| 905 | 907 |
for (int i = 0; i < static_cast<int>(_node_maps.size()); ++i) {
|
| 906 | 908 |
std::map<std::string, int>::iterator jt = |
| 907 | 909 |
maps.find(_node_maps[i].first); |
| 908 | 910 |
if (jt == maps.end()) {
|
| 909 | 911 |
std::ostringstream msg; |
| 910 | 912 |
msg << "Map not found: " << _node_maps[i].first; |
| 911 | 913 |
throw FormatError(msg.str()); |
| 912 | 914 |
} |
| 913 | 915 |
map_index[i] = jt->second; |
| 914 | 916 |
} |
| 915 | 917 |
|
| 916 | 918 |
{
|
| 917 | 919 |
std::map<std::string, int>::iterator jt = maps.find("label");
|
| 918 | 920 |
if (jt != maps.end()) {
|
| 919 | 921 |
label_index = jt->second; |
| 920 | 922 |
} else {
|
| 921 | 923 |
label_index = -1; |
| 922 | 924 |
} |
| ... | ... |
@@ -1654,98 +1656,100 @@ |
| 1654 | 1656 |
/// will not be constructed, which usually cause that the edge set |
| 1655 | 1657 |
/// could not be read due to lack of node name |
| 1656 | 1658 |
/// could not be read due to lack of node name resolving. |
| 1657 | 1659 |
/// Therefore \c skipEdges() function should also be used, or |
| 1658 | 1660 |
/// \c useNodes() should be used to specify the label of the nodes. |
| 1659 | 1661 |
GraphReader& skipNodes() {
|
| 1660 | 1662 |
LEMON_ASSERT(!_skip_nodes, "Skip nodes already set"); |
| 1661 | 1663 |
_skip_nodes = true; |
| 1662 | 1664 |
return *this; |
| 1663 | 1665 |
} |
| 1664 | 1666 |
|
| 1665 | 1667 |
/// \brief Skip the reading of edge section |
| 1666 | 1668 |
/// |
| 1667 | 1669 |
/// Omit the reading of the edge section. This implies that each edge |
| 1668 | 1670 |
/// map reading rule will be abandoned, and the edges of the graph |
| 1669 | 1671 |
/// will not be constructed. |
| 1670 | 1672 |
GraphReader& skipEdges() {
|
| 1671 | 1673 |
LEMON_ASSERT(!_skip_edges, "Skip edges already set"); |
| 1672 | 1674 |
_skip_edges = true; |
| 1673 | 1675 |
return *this; |
| 1674 | 1676 |
} |
| 1675 | 1677 |
|
| 1676 | 1678 |
/// @} |
| 1677 | 1679 |
|
| 1678 | 1680 |
private: |
| 1679 | 1681 |
|
| 1680 | 1682 |
bool readLine() {
|
| 1681 | 1683 |
std::string str; |
| 1682 | 1684 |
while(++line_num, std::getline(*_is, str)) {
|
| 1683 | 1685 |
line.clear(); line.str(str); |
| 1684 | 1686 |
char c; |
| 1685 | 1687 |
if (line >> std::ws >> c && c != '#') {
|
| 1686 | 1688 |
line.putback(c); |
| 1687 | 1689 |
return true; |
| 1688 | 1690 |
} |
| 1689 | 1691 |
} |
| 1690 | 1692 |
return false; |
| 1691 | 1693 |
} |
| 1692 | 1694 |
|
| 1693 | 1695 |
bool readSuccess() {
|
| 1694 | 1696 |
return static_cast<bool>(*_is); |
| 1695 | 1697 |
} |
| 1696 | 1698 |
|
| 1697 | 1699 |
void skipSection() {
|
| 1698 | 1700 |
char c; |
| 1699 | 1701 |
while (readSuccess() && line >> c && c != '@') {
|
| 1700 | 1702 |
readLine(); |
| 1701 | 1703 |
} |
| 1704 |
if (readSuccess()) {
|
|
| 1702 | 1705 |
line.putback(c); |
| 1703 | 1706 |
} |
| 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; |
| 1709 | 1713 |
|
| 1710 | 1714 |
char c; |
| 1711 | 1715 |
if (!readLine() || !(line >> c) || c == '@') {
|
| 1712 | 1716 |
if (readSuccess() && line) line.putback(c); |
| 1713 | 1717 |
if (!_node_maps.empty()) |
| 1714 | 1718 |
throw FormatError("Cannot find map names");
|
| 1715 | 1719 |
return; |
| 1716 | 1720 |
} |
| 1717 | 1721 |
line.putback(c); |
| 1718 | 1722 |
|
| 1719 | 1723 |
{
|
| 1720 | 1724 |
std::map<std::string, int> maps; |
| 1721 | 1725 |
|
| 1722 | 1726 |
std::string map; |
| 1723 | 1727 |
int index = 0; |
| 1724 | 1728 |
while (_reader_bits::readToken(line, map)) {
|
| 1725 | 1729 |
if (maps.find(map) != maps.end()) {
|
| 1726 | 1730 |
std::ostringstream msg; |
| 1727 | 1731 |
msg << "Multiple occurence of node map: " << map; |
| 1728 | 1732 |
throw FormatError(msg.str()); |
| 1729 | 1733 |
} |
| 1730 | 1734 |
maps.insert(std::make_pair(map, index)); |
| 1731 | 1735 |
++index; |
| 1732 | 1736 |
} |
| 1733 | 1737 |
|
| 1734 | 1738 |
for (int i = 0; i < static_cast<int>(_node_maps.size()); ++i) {
|
| 1735 | 1739 |
std::map<std::string, int>::iterator jt = |
| 1736 | 1740 |
maps.find(_node_maps[i].first); |
| 1737 | 1741 |
if (jt == maps.end()) {
|
| 1738 | 1742 |
std::ostringstream msg; |
| 1739 | 1743 |
msg << "Map not found: " << _node_maps[i].first; |
| 1740 | 1744 |
throw FormatError(msg.str()); |
| 1741 | 1745 |
} |
| 1742 | 1746 |
map_index[i] = jt->second; |
| 1743 | 1747 |
} |
| 1744 | 1748 |
|
| 1745 | 1749 |
{
|
| 1746 | 1750 |
std::map<std::string, int>::iterator jt = maps.find("label");
|
| 1747 | 1751 |
if (jt != maps.end()) {
|
| 1748 | 1752 |
label_index = jt->second; |
| 1749 | 1753 |
} else {
|
| 1750 | 1754 |
label_index = -1; |
| 1751 | 1755 |
} |
| ... | ... |
@@ -2181,98 +2185,100 @@ |
| 2181 | 2185 |
new _reader_bits::LineSection<Functor>(functor))); |
| 2182 | 2186 |
return *this; |
| 2183 | 2187 |
} |
| 2184 | 2188 |
|
| 2185 | 2189 |
|
| 2186 | 2190 |
/// \brief Add a section processor with stream oriented reading |
| 2187 | 2191 |
/// |
| 2188 | 2192 |
/// The first parameter is the type of the section, the second is |
| 2189 | 2193 |
/// a functor, which takes an \c std::istream& and an \c int& |
| 2190 | 2194 |
/// parameter, the latter regard to the line number of stream. The |
| 2191 | 2195 |
/// functor can read the input while the section go on, and the |
| 2192 | 2196 |
/// line number should be modified accordingly. |
| 2193 | 2197 |
template <typename Functor> |
| 2194 | 2198 |
SectionReader& sectionStream(const std::string& type, Functor functor) {
|
| 2195 | 2199 |
LEMON_ASSERT(!type.empty(), "Type is empty."); |
| 2196 | 2200 |
LEMON_ASSERT(_sections.find(type) == _sections.end(), |
| 2197 | 2201 |
"Multiple reading of section."); |
| 2198 | 2202 |
_sections.insert(std::make_pair(type, |
| 2199 | 2203 |
new _reader_bits::StreamSection<Functor>(functor))); |
| 2200 | 2204 |
return *this; |
| 2201 | 2205 |
} |
| 2202 | 2206 |
|
| 2203 | 2207 |
/// @} |
| 2204 | 2208 |
|
| 2205 | 2209 |
private: |
| 2206 | 2210 |
|
| 2207 | 2211 |
bool readLine() {
|
| 2208 | 2212 |
std::string str; |
| 2209 | 2213 |
while(++line_num, std::getline(*_is, str)) {
|
| 2210 | 2214 |
line.clear(); line.str(str); |
| 2211 | 2215 |
char c; |
| 2212 | 2216 |
if (line >> std::ws >> c && c != '#') {
|
| 2213 | 2217 |
line.putback(c); |
| 2214 | 2218 |
return true; |
| 2215 | 2219 |
} |
| 2216 | 2220 |
} |
| 2217 | 2221 |
return false; |
| 2218 | 2222 |
} |
| 2219 | 2223 |
|
| 2220 | 2224 |
bool readSuccess() {
|
| 2221 | 2225 |
return static_cast<bool>(*_is); |
| 2222 | 2226 |
} |
| 2223 | 2227 |
|
| 2224 | 2228 |
void skipSection() {
|
| 2225 | 2229 |
char c; |
| 2226 | 2230 |
while (readSuccess() && line >> c && c != '@') {
|
| 2227 | 2231 |
readLine(); |
| 2228 | 2232 |
} |
| 2233 |
if (readSuccess()) {
|
|
| 2229 | 2234 |
line.putback(c); |
| 2230 | 2235 |
} |
| 2236 |
} |
|
| 2231 | 2237 |
|
| 2232 | 2238 |
public: |
| 2233 | 2239 |
|
| 2234 | 2240 |
|
| 2235 | 2241 |
/// \name Execution of the reader |
| 2236 | 2242 |
/// @{
|
| 2237 | 2243 |
|
| 2238 | 2244 |
/// \brief Start the batch processing |
| 2239 | 2245 |
/// |
| 2240 | 2246 |
/// This function starts the batch processing. |
| 2241 | 2247 |
void run() {
|
| 2242 | 2248 |
|
| 2243 | 2249 |
LEMON_ASSERT(_is != 0, "This reader assigned to an other reader"); |
| 2244 | 2250 |
|
| 2245 | 2251 |
std::set<std::string> extra_sections; |
| 2246 | 2252 |
|
| 2247 | 2253 |
line_num = 0; |
| 2248 | 2254 |
readLine(); |
| 2249 | 2255 |
skipSection(); |
| 2250 | 2256 |
|
| 2251 | 2257 |
while (readSuccess()) {
|
| 2252 | 2258 |
try {
|
| 2253 | 2259 |
char c; |
| 2254 | 2260 |
std::string section, caption; |
| 2255 | 2261 |
line >> c; |
| 2256 | 2262 |
_reader_bits::readToken(line, section); |
| 2257 | 2263 |
_reader_bits::readToken(line, caption); |
| 2258 | 2264 |
|
| 2259 | 2265 |
if (line >> c) |
| 2260 | 2266 |
throw FormatError("Extra character at the end of line");
|
| 2261 | 2267 |
|
| 2262 | 2268 |
if (extra_sections.find(section) != extra_sections.end()) {
|
| 2263 | 2269 |
std::ostringstream msg; |
| 2264 | 2270 |
msg << "Multiple occurence of section: " << section; |
| 2265 | 2271 |
throw FormatError(msg.str()); |
| 2266 | 2272 |
} |
| 2267 | 2273 |
Sections::iterator it = _sections.find(section); |
| 2268 | 2274 |
if (it != _sections.end()) {
|
| 2269 | 2275 |
extra_sections.insert(section); |
| 2270 | 2276 |
it->second->process(*_is, line_num); |
| 2271 | 2277 |
} |
| 2272 | 2278 |
readLine(); |
| 2273 | 2279 |
skipSection(); |
| 2274 | 2280 |
} catch (FormatError& error) {
|
| 2275 | 2281 |
error.line(line_num); |
| 2276 | 2282 |
error.file(_filename); |
| 2277 | 2283 |
throw; |
| 2278 | 2284 |
} |
| ... | ... |
@@ -2522,98 +2528,100 @@ |
| 2522 | 2528 |
return _attributes[i]; |
| 2523 | 2529 |
} |
| 2524 | 2530 |
|
| 2525 | 2531 |
/// @} |
| 2526 | 2532 |
|
| 2527 | 2533 |
/// \name Extra sections |
| 2528 | 2534 |
/// @{
|
| 2529 | 2535 |
|
| 2530 | 2536 |
/// \brief Gives back the number of extra sections in the file. |
| 2531 | 2537 |
/// |
| 2532 | 2538 |
/// Gives back the number of extra sections in the file. |
| 2533 | 2539 |
int extraSectionNum() const {
|
| 2534 | 2540 |
return _extra_sections.size(); |
| 2535 | 2541 |
} |
| 2536 | 2542 |
|
| 2537 | 2543 |
/// \brief Returns the extra section type at the given position. |
| 2538 | 2544 |
/// |
| 2539 | 2545 |
/// Returns the section type at the given position. |
| 2540 | 2546 |
const std::string& extraSection(int i) const {
|
| 2541 | 2547 |
return _extra_sections[i]; |
| 2542 | 2548 |
} |
| 2543 | 2549 |
|
| 2544 | 2550 |
/// @} |
| 2545 | 2551 |
|
| 2546 | 2552 |
private: |
| 2547 | 2553 |
|
| 2548 | 2554 |
bool readLine() {
|
| 2549 | 2555 |
std::string str; |
| 2550 | 2556 |
while(++line_num, std::getline(*_is, str)) {
|
| 2551 | 2557 |
line.clear(); line.str(str); |
| 2552 | 2558 |
char c; |
| 2553 | 2559 |
if (line >> std::ws >> c && c != '#') {
|
| 2554 | 2560 |
line.putback(c); |
| 2555 | 2561 |
return true; |
| 2556 | 2562 |
} |
| 2557 | 2563 |
} |
| 2558 | 2564 |
return false; |
| 2559 | 2565 |
} |
| 2560 | 2566 |
|
| 2561 | 2567 |
bool readSuccess() {
|
| 2562 | 2568 |
return static_cast<bool>(*_is); |
| 2563 | 2569 |
} |
| 2564 | 2570 |
|
| 2565 | 2571 |
void skipSection() {
|
| 2566 | 2572 |
char c; |
| 2567 | 2573 |
while (readSuccess() && line >> c && c != '@') {
|
| 2568 | 2574 |
readLine(); |
| 2569 | 2575 |
} |
| 2576 |
if (readSuccess()) {
|
|
| 2570 | 2577 |
line.putback(c); |
| 2571 | 2578 |
} |
| 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); |
| 2577 | 2585 |
return; |
| 2578 | 2586 |
} |
| 2579 | 2587 |
line.putback(c); |
| 2580 | 2588 |
std::string map; |
| 2581 | 2589 |
while (_reader_bits::readToken(line, map)) {
|
| 2582 | 2590 |
maps.push_back(map); |
| 2583 | 2591 |
} |
| 2584 | 2592 |
} |
| 2585 | 2593 |
|
| 2586 | 2594 |
void readAttributes(std::vector<std::string>& attrs) {
|
| 2587 | 2595 |
readLine(); |
| 2588 | 2596 |
char c; |
| 2589 | 2597 |
while (readSuccess() && line >> c && c != '@') {
|
| 2590 | 2598 |
line.putback(c); |
| 2591 | 2599 |
std::string attr; |
| 2592 | 2600 |
_reader_bits::readToken(line, attr); |
| 2593 | 2601 |
attrs.push_back(attr); |
| 2594 | 2602 |
readLine(); |
| 2595 | 2603 |
} |
| 2596 | 2604 |
line.putback(c); |
| 2597 | 2605 |
} |
| 2598 | 2606 |
|
| 2599 | 2607 |
public: |
| 2600 | 2608 |
|
| 2601 | 2609 |
/// \name Execution of the contents reader |
| 2602 | 2610 |
/// @{
|
| 2603 | 2611 |
|
| 2604 | 2612 |
/// \brief Starts the reading |
| 2605 | 2613 |
/// |
| 2606 | 2614 |
/// This function starts the reading. |
| 2607 | 2615 |
void run() {
|
| 2608 | 2616 |
|
| 2609 | 2617 |
readLine(); |
| 2610 | 2618 |
skipSection(); |
| 2611 | 2619 |
|
| 2612 | 2620 |
while (readSuccess()) {
|
| 2613 | 2621 |
|
| 2614 | 2622 |
char c; |
| 2615 | 2623 |
line >> c; |
| 2616 | 2624 |
|
| 2617 | 2625 |
std::string section, caption; |
| 2618 | 2626 |
_reader_bits::readToken(line, section); |
| 2619 | 2627 |
_reader_bits::readToken(line, caption); |
0 comments (0 inline)