Changeset 1396:56f9a4ba9149 in lemon-0.x

Timestamp:

04/28/05 11:54:38 (20 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@1856

Message:

GUI section handling.

Location:

src/lemon

Files:

• graph_reader.h (modified) (6 diffs)
• graph_writer.h (modified) (6 diffs)

src/lemon/graph_reader.h

@@ -182 +182 @@
   };
 
+  class GUIReader {
+  public:
+    virtual void read(std::istream& is) = 0;
+  };
+
   /// \brief The graph reader class.
   ///
@@ -264 +269 @@
     GraphReader(std::istream& _is, Graph& _graph, 
                 const DefaultReader& _reader = DefaultReader()) 
-      : is(_is), graph(_graph), nodeSkipper(_reader), edgeSkipper(_reader) {}
+      : gui_reader(0), is(_is), graph(_graph), 
+        nodeSkipper(_reader), edgeSkipper(_reader) {}
 
     /// \brief Destruct the graph reader.
@@ -412 +418 @@
           line = readEdges(line_num, edgeInverter);
         }
+        if (line.find("@gui") == 0) {
+          line = readGUI(line_num);
+        }
         if (line.find("@end") != 0) {
           throw DataFormatError("Invalid control sequence error");
@@ -419 +428 @@
         throw e;
       }
+    }
+
+    GraphReader& readGUI(GUIReader& reader) {
+      gui_reader = &reader;
+      return *this;
     }
 
@@ -545 +559 @@
     }
 
+    std::string readGUI(int& line_num) {
+      std::stringstream section;
+      std::string line;
+      while (line = readNotEmptyLine(is, line_num), line[0] != '@') {
+        section << line << std::endl;
+      }
+      if (gui_reader != 0) {
+        gui_reader->read(section);
+      }
+      return line;
+    }
+
     std::string readNotEmptyLine(std::istream& is, int& line_num) {
       std::string line;
@@ -732 +758 @@
     typedef std::map<std::string, Edge*> EdgeReaders;
     EdgeReaders edge_readers;
+
+    GUIReader* gui_reader;
 
     std::istream& is;

src/lemon/graph_writer.h

@@ -155 +155 @@
   private:
     bool escaped;
+  };
+
+  class GUIWriter {
+  public:
+    virtual void write(std::ostream& os) = 0;
   };
 
@@ -239 +244 @@
     /// default skipper.
     GraphWriter(std::ostream& _os, const Graph& _graph) 
-      : os(_os), graph(_graph) {}
+      : gui_writer(0), os(_os), graph(_graph){}
 
 
@@ -317 +322 @@
       edge_writers.push_back(make_pair(name, edge));
       return *this;
+    }
+
+    GraphWriter& writeGUI(const GUIWriter& writer) {
+      gui_writer = &writer;
     }
 
@@ -329 +338 @@
       writeNodes(nodeWriter);
       writeEdges(edgeWriter);
+      writeGUI();
       os << "@end" << std::endl;
     }
@@ -434 +444 @@
     }
     
+    void writeGUI() {      
+      if (gui_writer) {
+        os << "@gui" << std::endl;
+        gui_writer->write(os);
+      }
+    }
 
 
@@ -450 +466 @@
     typedef std::vector<std::pair<std::string, Edge> > EdgeWriters;
     EdgeWriters edge_writers;
+
+    GUIWriter* gui_writer;
 
     std::ostream& os;