#pragma once

#include "config.h"

#include <string>
#include <list>
#include <set>

#include <boost/format.hpp>

/* Before 4.7, gcc's std::exception uses empty throw() specifiers for
 * its (virtual) destructor and what() in c++11 mode, in violation of spec
 */
#ifdef __GNUC__
#if __GNUC__ < 4 || (__GNUC__ == 4 && __GNUC_MINOR__ < 7)
#define EXCEPTION_NEEDS_THROW_SPEC
#endif
#endif


namespace nix {


/* Inherit some names from other namespaces for convenience. */
using std::string;
using std::list;
using std::set;
using std::vector;
using boost::format;


struct FormatOrString
{
    string s;
    FormatOrString(const string & s) : s(s) { };
    FormatOrString(const format & f) : s(f.str()) { };
    FormatOrString(const char * s) : s(s) { };
};


/* BaseError should generally not be caught, as it has Interrupted as
   a subclass. Catch Error instead. */
class BaseError : public std::exception
{
protected:
    string prefix_; // used for location traces etc.
    string err;
public:
    unsigned int status; // exit status
    BaseError(const FormatOrString & fs, unsigned int status = 1);
#ifdef EXCEPTION_NEEDS_THROW_SPEC
    ~BaseError() throw () { };
    const char * what() const throw () { return err.c_str(); }
#else
    const char * what() const noexcept { return err.c_str(); }
#endif
    const string & msg() const { return err; }
    const string & prefix() const { return prefix_; }
    BaseError & addPrefix(const FormatOrString & fs);
};

#define MakeError(newClass, superClass) \
    class newClass : public superClass                  \
    {                                                   \
    public:                                             \
        newClass(const FormatOrString & fs, unsigned int status = 1) : superClass(fs, status) { }; \
    };

MakeError(Error, BaseError)

class SysError : public Error
{
public:
    int errNo;
    SysError(const FormatOrString & fs);
};


typedef list<string> Strings;
typedef set<string> StringSet;


/* Paths are just strings. */
typedef string Path;
typedef list<Path> Paths;
typedef set<Path> PathSet;


typedef enum {
    lvlError = 0,
    lvlInfo,
    lvlTalkative,
    lvlChatty,
    lvlDebug,
    lvlVomit
} Verbosity;


}
ft'>Age</th><th class='left'>Commit message (<a href='/guix/log/THANKS?id=a2954e2a44602a5b5d50e11428f18023395fbf1c&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2016-07-18 06:56:29 +0200'>2016-07-18</span></td><td><a href='/guix/commit/THANKS?id=1d743e6bdda65e783087ad8b9b4289d0ef581a5a'>Thank Thomas.</a></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2015-11-23 17:48:35 +0100'>2015-11-23</span></td><td><a href='/guix/commit/THANKS?id=160b0ef3fd87c73b140f4480a521ad8c80475ab3'>Thank Jan.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-11-17 09:44:52 +0100'>2015-11-17</span></td><td><a href='/guix/commit/THANKS?id=87450b12744bf1f508b6fd4ee11c00af35fcc4ee'>Thank Chris.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-10-09 20:57:24 +0200'>2015-10-09</span></td><td><a href='/guix/commit/THANKS?id=28eb956dfeb8b759e690cf3e30dfe85788561778'>Thank Chris.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-09-20 22:06:48 +0200'>2015-09-20</span></td><td><a href='/guix/commit/THANKS?id=8fcac19975b163e0e5b98d27a52cb7c541bf94d9'>Thank Petter.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-08-27 23:34:23 +0200'>2015-08-27</span></td><td><a href='/guix/commit/THANKS?id=25ae74cffaa95cc4e509e3363f6f6525ddc21672'>Thank Eric Hanchrow.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-23 09:42:24 +0200'>2015-07-23</span></td><td><a href='/guix/commit/THANKS?id=015878fdbbfe5e30474bea229c014677e04cc27f'>Thank Anders.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-22 23:47:35 +0200'>2015-07-22</span></td><td><a href='/guix/commit/THANKS?id=0e9f9f7bc23a7e7f2390eb1bbb09f36f33cda534'>Thank Malcolm.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-22 22:56:42 +0200'>2015-07-22</span></td><td><a href='/guix/commit/THANKS?id=31ea3ebb0570c070df578d5983bdcdce117e4376'>Thank Dave.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-04 12:13:01 +0300'>2015-07-04</span></td><td><a href='/guix/commit/THANKS?id=e7c48ee9519aa5cd094f3326a4caeccba072e9fd'>Clean up 'THANKS' and 'AUTHORS'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* THANKS: Add Konrad Hinsen, Cyprien Nicolas, Yakkala Yagnesh Raghava
  and Alexander Shendi.  Remove Federico Beffa, Marek Benc, John
  Darrington, rekado, Cyrill Schenkel and Andy Wingo because they are
  placed in AUTHORS.  Move Amirouche Boubekki and Alex Kost to ...
* AUTHORS: ... here.  Add Arne Babenhauserheide, Ian Denhardt, Kevin
  Lemonnier, Mathieu Lirzin, Pierre-Antoine Rault and Ben Woodcroft.
  Fix some names and emails.
</span></span></td><td>Alex Kost</td></tr>
<tr><td><span title='2015-06-07 18:15:40 +0200'>2015-06-07</span></td><td><a href='/guix/commit/THANKS?id=a647e0b8eef9931a46aded4c4d71e0413cc84340'>Thank Thomas.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-05-01 00:06:18 +0200'>2015-05-01</span></td><td><a href='/guix/commit/THANKS?id=0aaca4354c68a21b01ce5fcd7fb7f820e58fc3cb'>Thank Joshua.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-04-14 23:20:26 +0200'>2015-04-14</span></td><td><a href='/guix/commit/THANKS?id=a0bcaefd0885fdca898c3e60dc22c00a581c9b30'>Thank Pjotr.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-24 00:04:37 +0100'>2015-02-24</span></td><td><a href='/guix/commit/THANKS?id=31567c427409b908ac496e48419017022e9212a2'>Thank Daniel.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-07 23:17:33 +0100'>2015-02-07</span></td><td><a href='/guix/commit/THANKS?id=cce629c027f26275d2fd7b66e43669ccab6eb207'>Thank Andrei.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-01-28 10:56:04 +0100'>2015-01-28</span></td><td><a href='/guix/commit/THANKS?id=8666869491a05670d65237fda5cb35bbf4a808de'>Thank Amirouche.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2014-12-09 11:34:24 +0100'>2014-12-09</span></td><td><a href='/guix/commit/THANKS?id=9f6f1aacf64371e0536fd52ea032dd164d08f436'>Thank rekado.</a></td><td>Ludovic Courtès</td></tr>