/* -*- C++ -*-

  *

  * This file is a part of LEMON, a generic C++ optimization library

  *

  * Copyright (C) 2003-2006

  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport

  * (Egervary Research Group on Combinatorial Optimization, EGRES).

  *

  * Permission to use, modify and distribute this software is granted

  * provided that this copyright notice appears in all copies. For

  * precise terms see the accompanying LICENSE file.

  *

  * This software is provided "AS IS" with no warranty of any kind,

  * express or implied, and with no claim as to its suitability for any

  * purpose.

  *

  */

 /// \ingroup item_io

 /// \file

 /// \brief Item writer bits for lemon output.

 #ifndef LEMON_BITS_ITEM_WRITER_H

 #define LEMON_BITS_ITEM_WRITER_H

 #include <iostream>

 #include <sstream>

 #include <string>

 #include <vector>

 #include <deque>

 #include <list>

 #include <set>

 namespace lemon {

   template <typename Value>

   class DefaultWriter;

   /// \ingroup item_io

   /// \brief Writer class for quoted strings.

   ///

   /// Writer class for unformatted strings.

   /// \author Balazs Dezso

   class UnformattedWriter {

   public:

     typedef std::string Value;

     /// \brief Constructor for the writer.

     ///

     /// Constructor for the writer.

     UnformattedWriter() {}

     /// \brief Writes an unformatted string to the given stream.

     ///

     /// Writes an unformatted string to the given stream.

     void write(std::ostream& os, const std::string& value) const {

       os << value;

     }

     bool readable(const std::string& value) const {

       std::istringstream is(value);

       char c;

       while (is.get(c) && !whiteSpace(c)) {

         if (!processChar(c, is)) return false;

       }

       if (is) return false;

       return true;

     }

   private:

     bool processChar(char c, std::istream& is) const {

       switch (c) {

       case '(':

         is.putback(c);

         if (!readableParsed('(', ')', is)) return false;

         break;

       case '[':

         is.putback(c);

         if (!readableParsed('[', ']', is)) return false;

         break;

       case '{':

         is.putback(c);

         if (!readableParsed('{', '}', is)) return false;

         break;

       case '/':

         is.putback(c);

         if (!readableParsed('/', '/', is)) return false;

         break;

       case '\"':

         is.putback(c);

         if (!readableQuoted('\"', is)) return false;

         break;

       case '\'':

         is.putback(c);

         if (!readableQuoted('\'', is)) return false;

         break;

       default:

         break;

       }

       return true;

     }

     bool readableParsed(char open, char close, std::istream& is) const {

       char c;

       if (!is.get(c) || c != open) return false;

       while (is.get(c) && c != close) {

         if (!processChar(c, is)) return false;

       }

       if (!is) return false;

       return true;

     }

     bool readableQuoted(char quote, std::istream& is) const {

       char c;

       bool esc = false;

       if (!is.get(c) || c != quote) return false;

       while (is.get(c) && (c != quote || esc)) {

         if (c == '\\') esc = !esc;

         else esc = false;

       }

       if (!is) return false;

       return true;

     }

     static bool whiteSpace(char c) {

       return c == ' ' || c == '\t' || c == '\v' || 

         c == '\n' || c == '\r' || c == '\f'; 

     }

   };

   /// \ingroup item_io

   /// \brief Writer class for quoted strings.

   ///

   /// Writer class for quoted strings. It can process the escape

   /// sequences in the string.

   /// \author Balazs Dezso

   class QuotedStringWriter {

     friend class QuotedCharWriter;

   public:

     typedef std::string Value;

     /// \brief Constructor for the writer.

     ///

     /// Constructor for the writer. If the given parameter is true

     /// the writer creates escape sequences from special characters.

     QuotedStringWriter(bool _escaped = true) : escaped(_escaped) {}

     /// \brief Writes a quoted string to the given stream.

     ///

     /// Writes a quoted string to the given stream.

     void write(std::ostream& os, const std::string& value) const {

       os << "\"";

       if (escaped) {

 	std::ostringstream ls;

 	for (int i = 0; i < (int)value.size(); ++i) {

 	  writeEscape(ls, value[i]);

 	}

 	os << ls.str();

       } else {

 	os << value;

       }

       os << "\"";

     }

   private:

     static void writeEscape(std::ostream& os, char c) {

       switch (c) {

       case '\\':

 	os << "\\\\";

 	return;

       case '\"':

 	os << "\\\"";

 	return;

       case '\'':

 	os << "\\\'";

 	return;

       case '\?':

 	os << "\\\?";

 	return;

       case '\a':

 	os << "\\a";

 	return;

       case '\b':

 	os << "\\b";

 	return;

       case '\f':

 	os << "\\f";

 	return;

       case '\r':

 	os << "\\r";

 	return;

       case '\n':

 	os << "\\n";

 	return;

       case '\t':

 	os << "\\t";

 	return;

       case '\v':

 	os << "\\v";

 	return;

       default:

 	if (c < 0x20) {

 	  os << '\\' << std::oct << (int)c;

 	} else {

 	  os << c;

 	}

 	return;

       }     

     }

   private:

     bool escaped;

   };

   /// \ingroup item_io

   /// \brief Writer class for quoted chars.

   ///

   /// Writer class for quoted char. It can process the escape

   /// sequences in the string.

   /// \author Balazs Dezso

   class QuotedCharWriter {

   public:

     typedef char Value;

     /// \brief Constructor for the writer.

     ///

     /// Constructor for the writer. If the given parameter is true

     /// the writer creates escape sequences from special characters.

     QuotedCharWriter(bool _escaped = true) : escaped(_escaped) {}

     /// \brief Writes a quoted char to the given stream.

     ///

     /// Writes a quoted char to the given stream.

     void write(std::ostream& os, const char& value) const {

       os << "\'";

       if (escaped) {

 	std::ostringstream ls;

         QuotedStringWriter::writeEscape(ls, value);

 	os << ls.str();

       } else {

 	os << value;

       }

       os << "\'";

     }

   private:

     bool escaped;

   };

   /// \ingroup item_io

   /// \brief Writer class for quoted char array.

   ///

   /// Writer class for quoted char array. It can process the escape

   /// sequences in the char array.

   /// \author Balazs Dezso

   class QuotedCharArrayWriter {

   public:

     typedef const char* Value;

     /// \brief Constructor for the writer.

     ///

     /// Constructor for the writer. If the given parameter is true

     /// the writer creates escape sequences from special characters.

     QuotedCharArrayWriter(bool _escaped = true) : escaped(_escaped) {}

     /// \brief Writes a quoted char array to the given stream.

     ///

     /// Writes a quoted char array to the given stream.

     void write(std::ostream& os, const char* value) const {

       QuotedStringWriter(escaped).write(os, std::string(value));

     }

   private:    

     bool escaped;

   };

   /// \ingroup item_io

   ///

   /// \brief Writer for standard containers.

   ///

   /// Writer for each iterable standard containers. The representation

   /// of the container is the values enumerated between an open and a

   /// close parse. 

   ///

   /// \author Balazs Dezso

   template <

     typename _Container, 

     typename _ItemWriter = DefaultWriter<typename _Container::value_type> 

   >

   class IterableWriter {

   public:

     typedef _Container Value;

     typedef _ItemWriter ItemWriter;

   private:

     ItemWriter item_writer;

   public:

     IterableWriter(const ItemWriter& _item_writer = ItemWriter())

       : item_writer(_item_writer) {}

     /// \brief Writes the values of the container to the given stream.

     ///

     /// Writes the values of the container to the given stream.

     void write(std::ostream& os, const Value& value) const {

       typename Value::const_iterator it;

       os << '(';

       for (it = value.begin(); it != value.end(); ++it) {

 	item_writer.write(os, *it);

 	os << ' ';

       }

       os << ')';

     }

   };

   /// \ingroup item_io

   ///

   /// \brief Writer for standard pairs.

   ///

   /// Writer for standard pairs. The representation of a pair is

   ///\code ( first_value => second_value ) \endcode.

   /// \author Balazs Dezso

   template <typename _Pair, 

 	    typename _FirstWriter = 

 	    DefaultWriter<typename _Pair::first_type>,

 	    typename _SecondWriter = 

 	    DefaultWriter<typename _Pair::second_type> >

   class PairWriter {

   public:

     typedef _Pair Value;

     typedef _FirstWriter FirstWriter;

     typedef _SecondWriter SecondWriter;

   private:

     FirstWriter first_writer;

     SecondWriter second_writer;

   public:

     /// \brief Constructor.

     ///

     /// Constructor for the PairWriter.

     PairWriter(const FirstWriter& _first_writer = FirstWriter(), 

 	       const SecondWriter& _second_writer = SecondWriter()) 

       : first_writer(_first_writer), second_writer(_second_writer) {}

     /// \brief Writes the pair from the given stream.

     ///

     /// Writes the pair from the given stream.

     void write(std::ostream& os, const Value& value) const {

       os << "( ";

       first_writer.write(os, value.first);

       os << " => ";

       second_writer.write(os, value.second);

       os << " )";

     }

   };

   /// \ingroup item_io

   /// 

   /// \brief The default item writer template class.

   ///

   /// The default item writer template class. If some section writer

   /// needs to write a value to the stream it will give the default way for it.

   ///

   /// \author Balazs Dezso

   template <typename _Value>

   class DefaultWriter {

   public:

     /// The value type.

     typedef _Value Value;

     /// \brief Writes the value to the given stream.

     ///

     /// Writes the value to the given stream.

     void write(std::ostream& os, const Value& value) const {

       os << value;

     }

   };

   template <>

   class DefaultWriter<std::string> {

   public:

     typedef std::string Value;

     void write(std::ostream& os, const Value& value) const {

       if (UnformattedWriter().readable(value)) {

         UnformattedWriter().write(os, value);

       } else {

         QuotedStringWriter().write(os, value);

       }

     }

   };

   template <>

   class DefaultWriter<char> 

     : public QuotedCharWriter {};

   template <>

   class DefaultWriter<bool> {

   public:

     typedef bool Value;

     void write(std::ostream& os, const Value& value) const {

       os << (value ? "1" : "0");

     }

   };

   template <int length>

   class DefaultWriter<char[length]> 

     : public QuotedCharArrayWriter {};

   template <int length>

   class DefaultWriter<const char[length]> 

     : public QuotedCharArrayWriter {};

   template <>

   class DefaultWriter<char*> 

     : public QuotedCharArrayWriter {};

   template <>

   class DefaultWriter<const char*> 

     : public QuotedCharArrayWriter {};

   template <typename Item>

   class DefaultWriter<std::vector<Item> > 

     : public IterableWriter<std::vector<Item> > {};

   template <typename Item>

   class DefaultWriter<std::deque<Item> > 

     : public IterableWriter<std::deque<Item> > {};

   template <typename Item>

   class DefaultWriter<std::list<Item> > 

     : public IterableWriter<std::list<Item> > {};

   template <typename Item>

   class DefaultWriter<std::set<Item> > 

     : public IterableWriter<std::set<Item> > {};

   template <typename Key, typename Value>

   class DefaultWriter<std::map<Key, Value> > 

     : public IterableWriter<std::map<Key, Value> > {};

   template <typename Item>

   class DefaultWriter<std::multiset<Item> > 

     : public IterableWriter<std::multiset<Item> > {};

   template <typename Key, typename Value>

   class DefaultWriter<std::multimap<Key, Value> > 

     : public IterableWriter<std::multimap<Key, Value> > {};

   template <typename First, typename Second>

   class DefaultWriter<std::pair<First, Second> > 

     : public PairWriter<std::pair<First, Second> > {};

   /// \ingroup item_io

   /// \brief Standard WriterTraits for the section writers.

   ///

   /// Standard WriterTraits for the section writers.

   /// It defines standard writing method for all type of value. 

   /// \author Balazs Dezso

   struct DefaultWriterTraits {

     template <typename _Value>

     struct Writer : DefaultWriter<_Value> {

       typedef DefaultWriter<_Value> Parent;

     };

   };

 }

 #endif