#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;


}
ref='/guix/log/tests/inferior.scm?id=3acd355455a74a6e08bdcecc72e314c27e7c56b3'>inferior.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/tests/inferior.scm?id=3acd355455a74a6e08bdcecc72e314c27e7c56b3&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-07-08 13:51:34 +0100'>2022-07-08</span></td><td><a href='/guix/commit/tests/inferior.scm?id=b4c4a6acb1204ee53e95744236ee89985db32f91'>guix: inferior: Fix the behaviour of open-inferior #:error-port.</a><span class='msg-avail'>...<span class='msg-tooltip'>I'm looking at this as the Guix Data Service uses this behaviour to record and
display logs from inferior processes.

* guix/inferior.scm (open-bidirectional-pipe): Call dup2 for file descriptor
2, passing either the file number for the current error port, or a file
descriptor for /dev/null.
* tests/inferior.scm ("#:error-port stderr", "#:error-port pipe"): Add two new
tests that cover some of the #:error-port behaviour.
</span></span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2022-05-20 18:46:07 +0200'>2022-05-20</span></td><td><a href='/guix/commit/tests/inferior.scm?id=a4994d739306abcf3f36706012fb88b35a970e6b'>inferior: Close duplicate socketpair file descriptor.</a><span class='msg-avail'>...<span class='msg-tooltip'>* guix/inferior.scm (open-bidirectional-pipe): Pass SOCK_CLOEXEC to
'socketpair'.
* tests/inferior.scm ("close-inferior"): Add test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-05-15 12:14:47 +0100'>2021-05-15</span></td><td><a href='/guix/commit/tests/inferior.scm?id=97d615b1761c2054561057f6b56e2a0caed13aa4'>inferior: Support querying package replacements.</a><span class='msg-avail'>...<span class='msg-tooltip'>I'm looking at this to help with adding support for looking up package
replacements to store in the Guix Data Service.

* guix/inferior.scm (inferior-package-replacement): New procedure.
* tests/inferior.scm ("inferior-package-replacement"): New test.
</span></span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2021-04-29 01:22:04 +0200'>2021-04-29</span></td><td><a href='/guix/commit/tests/inferior.scm?id=9dc1c591a4fe90e823ed69fb52c055b98d4699f6'>inferior: Make sure test refers to guile@3.0.</a><span class='msg-avail'>...<span class='msg-tooltip'>* tests/inferior.scm ("inferior-package-inputs"): Compare with
GUILE-3.0-LATEST since that's what 'lookup-inferior-packages' returns.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-01-21 00:14:38 +0100'>2021-01-21</span></td><td><a href='/guix/commit/tests/inferior.scm?id=98d3abe7440717724263cacca8c36e9f43d53fcc'>repl: Fix exception handling for interpreted code.</a><span class='msg-avail'>...<span class='msg-tooltip'>The 'stack' variable could be #f when code is interpreted, which in
practice happens when running in "legacy" mode--i.e., when
'open-inferior' invokes "guile" instead of "guix repl".

* guix/repl.scm (send-repl-response)[handle-exception]: Check whether
STACK is true before passing it to 'stack-&gt;frames'.
* tests/inferior.scm ("&amp;inferior-exception, legacy mode"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-01-21 00:14:38 +0100'>2021-01-21</span></td><td><a href='/guix/commit/tests/inferior.scm?id=074a201c33f822a7ab59512e7ee8b301204ff732'>inferior: Add 'inferior-eval-with-store' tests.</a><span class='msg-avail'>...<span class='msg-tooltip'>* tests/inferior.scm ("inferior-eval-with-store, exception")
("inferior-eval-with-store, not a procedure"): New tests.
</span></span></td><td>Ludovic Courtès</td></tr>