Changeset 1492:0d58f0301923 in lemon-0.x for lemon/lemon_reader.h

Timestamp:

06/15/05 12:10:59 (18 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

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

Message:

Correcting concept checks.

File:

• lemon/lemon_reader.h (modified) (20 diffs)

lemon/lemon_reader.h

@@ -50 +50 @@
       bool isIdReader() { return true; }
 
-      Item readId(std::istream&, Item) { return Item();}
+      void readId(std::istream&, Item&) {}
       
       template <class _ItemIdReader>
@@ -57 +57 @@
           bool b = reader.isIdReader();
           ignore_unused_variable_warning(b);
-          Item item = reader.readId(is, Item());
+          Item item;
+          reader.readId(is, item);
         }
         _ItemIdReader& reader;
+        std::istream& is;
+      };
+
+    };
+
+    template <typename Item>
+    class ItemReader {
+    public:
+      void read(std::istream&, Item&) {}
+      
+      template <class _ItemReader>
+      struct Constraints {
+        void constraints() {
+          Item item;
+          reader.read(is, item);
+        }
+        _ItemReader& reader;
         std::istream& is;
       };
@@ -570 +588 @@
 
       virtual Item read(std::istream& is) const {
-        return boxedIdReader.readId(is, Item());
+        Item item;
+        boxedIdReader.readId(is, item);
+        return item;
       }
 
@@ -697 +717 @@
     NodeSetReader& _readMap(std::string name, MapParameter map, 
                             const Reader& reader = Reader()) {
+      checkConcept<concept::WriteMap<Node, typename Map::Value>, Map>();
+      checkConcept<_reader_bits::ItemReader<typename Map::Value>, Reader>();
       if (readers.find(name) != readers.end()) {
         ErrorMessage msg;
@@ -783 +805 @@
     /// It reads an id from the stream and gives back which node belongs to
     /// it. It is possible only if there was read an "id" named map.
-    Node readId(std::istream& is, Node = Node()) const {
-      return inverter->read(is);
+    void readId(std::istream& is, Node& node) const {
+      node = inverter->read(is);
     } 
 
@@ -905 +927 @@
     EdgeSetReader& _readMap(std::string name, MapParameter map, 
                             const Reader& reader = Reader()) {
+      checkConcept<concept::WriteMap<Edge, typename Map::Value>, Map>();
+      checkConcept<_reader_bits::ItemReader<typename Map::Value>, Reader>();
       if (readers.find(name) != readers.end()) {
         ErrorMessage msg;
@@ -996 +1020 @@
     /// It reads an id from the stream and gives back which edge belongs to
     /// it. It is possible only if there was read an "id" named map.
-    Edge readId(std::istream& is, Edge = Edge()) const {
-      return inverter->read(is);
+    void readId(std::istream& is, Edge& edge) const {
+      edge = inverter->read(is);
     } 
 
@@ -1125 +1149 @@
     UndirEdgeSetReader& _readMap(std::string name, MapParameter map,
                                  const Reader& reader = Reader()) {
+      checkConcept<concept::WriteMap<UndirEdge, typename Map::Value>, Map>();
+      checkConcept<_reader_bits::ItemReader<typename Map::Value>, Reader>();
       if (readers.find(name) != readers.end()) {
         ErrorMessage msg;
@@ -1191 +1217 @@
     template <typename Reader, typename Map, typename MapParameter>
     UndirEdgeSetReader& _readDirMap(std::string name, MapParameter map,
-                                    const Reader& reader = Reader()) {
+                                    const Reader& reader = Reader()) { 
+      checkConcept<_reader_bits::ItemReader<typename Map::Value>, Reader>();
+      checkConcept<concept::WriteMap<Edge, typename Map::Value>, Map>();
       readMap("+" + name, 
               _reader_bits::writeComposeMap(map, forwardMap(graph)), reader);
@@ -1276 +1304 @@
     /// It reads an id from the stream and gives back which undirected edge 
     /// belongs to it. It is possible only if there was read an "id" named map.
-    UndirEdge readId(std::istream& is, UndirEdge = UndirEdge()) const {
-      return inverter->read(is);
+    void readId(std::istream& is, UndirEdge& undirEdge) const {
+      undirEdge = inverter->read(is);
     } 
 
@@ -1286 +1314 @@
     /// and the undirected edge id. It is possible only if there was read 
     /// an "id" named map.
-    Edge readId(std::istream& is, Edge = Edge()) const {
+    void readId(std::istream& is, Edge& edge) const {
       char c;
       is >> c;
       UndirEdge undirEdge = inverter->read(is);
       if (c == '+') {
-        return graph.edgeWithSource(undirEdge, graph.source(undirEdge));
+        edge = graph.edgeWithSource(undirEdge, graph.source(undirEdge));
       } else if (c == '-') {
-        return graph.edgeWithSource(undirEdge, graph.target(undirEdge));
+        edge = graph.edgeWithSource(undirEdge, graph.target(undirEdge));
       } else {
         throw DataFormatError("Wrong id format for edge "
@@ -1341 +1369 @@
       : Parent(_reader), id(_id) {
       checkConcept<_reader_bits::ItemIdReader<Node>, _IdReader>();
-      idReader.reset(new IdReader<Node, _IdReader>(_idReader));
+      nodeIdReader.reset(new IdReader<Node, _IdReader>(_idReader));
     }
 
@@ -1386 +1414 @@
     /// It reads the content of the section.
     virtual void read(std::istream& is) {
-      if (!idReader->isIdReader()) {
+      if (!nodeIdReader->isIdReader()) {
         throw DataFormatError("Cannot find nodeset or ID map");
       }
@@ -1396 +1424 @@
         typename NodeReaders::iterator it = readers.find(id);
         if (it != readers.end()) {
-          *(it->second) = idReader->read(ls); 
+          *(it->second) = nodeIdReader->read(ls); 
         }       
       }
@@ -1407 +1435 @@
     typedef std::map<std::string, Node*> NodeReaders;
     NodeReaders readers;
-    std::auto_ptr<IdReaderBase<Node> > idReader;
+    std::auto_ptr<IdReaderBase<Node> > nodeIdReader;
   };
 
@@ -1438 +1466 @@
       : Parent(_reader), id(_id) {
       checkConcept<_reader_bits::ItemIdReader<Edge>, _IdReader>();
-      idReader.reset(new IdReader<Edge, _IdReader>(_idReader));
+      edgeIdReader.reset(new IdReader<Edge, _IdReader>(_idReader));
     }
 
@@ -1482 +1510 @@
     /// It reads the content of the section.
     virtual void read(std::istream& is) {
-      if (!idReader->isIdReader()) {
+      if (!edgeIdReader->isIdReader()) {
         throw DataFormatError("Cannot find edgeset or ID map");
       }
@@ -1492 +1520 @@
         typename EdgeReaders::iterator it = readers.find(id);
         if (it != readers.end()) {
-          *(it->second) = idReader->read(ls); 
+          *(it->second) = edgeIdReader->read(ls); 
         }       
       }
@@ -1503 +1531 @@
     typedef std::map<std::string, Edge*> EdgeReaders;
     EdgeReaders readers;
-    std::auto_ptr<IdReaderBase<Edge> > idReader;
+    std::auto_ptr<IdReaderBase<Edge> > edgeIdReader;
   };
 
@@ -1689 +1717 @@
     AttributeReader& readAttribute(const std::string& name, Value& value,
                                    const Reader& reader = Reader()) {
+      checkConcept<_reader_bits::ItemReader<Value>, Reader>();
       if (readers.find(name) != readers.end()) {
         ErrorMessage msg;