gui/xml.h
changeset 2068 6936f130bba2
parent 1894 f794a0bb40c9
equal deleted inserted replaced
4:8deb81616e05 5:1126a13e3a8c
   205   
   205   
   206     ///\e
   206     ///\e
   207     ///
   207     ///
   208     XmlIo(std::ostream& _os) : _writeMode(true), os(_os),
   208     XmlIo(std::ostream& _os) : _writeMode(true), os(_os),
   209 			       level(-1),
   209 			       level(-1),
   210 			       is(*(std::istream*)(NULL)) {}
   210 			       is(std::cin) {}
   211     ///\e
   211     ///\e
   212     ///
   212     ///
   213     XmlIo(std::istream& _is) : _writeMode(false),
   213     XmlIo(std::istream& _is) : _writeMode(false),
   214 			       os(*(std::ostream*)(NULL)), is(_is),
   214 			       os(std::cout), is(_is),
   215 			       line_number(1) {}
   215 			       line_number(1) {}
   216 
   216 
   217     ~XmlIo() { if(write()) os<< std::endl; }
   217     ~XmlIo() { if(write()) os<< std::endl; }
   218   
   218   
   219 
   219