lix/src/libutil/types.hh

168 lines
3.4 KiB
C++
Raw Normal View History

#pragma once
2016-02-23 12:53:31 +00:00
#include "ref.hh"
#include <list>
#include <set>
#include <memory>
#include <map>
2020-04-21 19:25:41 +00:00
#include <optional>
2020-04-21 19:25:41 +00:00
#include "fmt.hh"
2014-10-20 16:15:50 +00:00
/* 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 {
using std::list;
using std::set;
using std::vector;
2017-05-11 15:06:07 +00:00
2020-04-21 19:25:41 +00:00
typedef enum {
lvlError = 0,
lvlWarn,
lvlInfo,
lvlTalkative,
lvlChatty,
lvlDebug,
lvlVomit
} Verbosity;
struct ErrPos
{
2020-04-21 19:25:41 +00:00
int line;
int column;
string file;
2020-04-21 19:25:41 +00:00
template <class P>
ErrPos& operator=(const P &pos)
{
line = pos.line;
column = pos.column;
file = pos.file;
return *this;
}
2020-04-21 19:25:41 +00:00
template <class P>
ErrPos(const P &p)
{
*this = p;
}
};
2020-04-21 19:25:41 +00:00
struct NixCode
{
2020-04-21 19:25:41 +00:00
ErrPos errPos;
std::optional<string> prevLineOfCode;
string errLineOfCode;
std::optional<string> nextLineOfCode;
};
2020-04-21 19:25:41 +00:00
// -------------------------------------------------
// ErrorInfo.
struct ErrorInfo
{
2020-04-21 19:25:41 +00:00
Verbosity level;
string name;
string description;
std::optional<hintformat> hint;
std::optional<NixCode> nixCode;
2020-04-21 19:25:41 +00:00
static std::optional<string> programName;
};
2020-04-21 19:25:41 +00:00
std::ostream& operator<<(std::ostream &out, const ErrorInfo &einfo);
/* 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.
2020-04-21 19:25:41 +00:00
ErrorInfo err;
public:
unsigned int status = 1; // exit status
template<typename... Args>
BaseError(unsigned int status, const Args & ... args)
: err { .level = lvlError,
.hint = hintfmt(args...)
}
, status(status)
{
}
template<typename... Args>
BaseError(const Args & ... args)
2020-04-21 19:25:41 +00:00
: err { .level = lvlError,
.hint = hintfmt(args...)
}
{
}
BaseError(ErrorInfo e)
: err(e)
{
}
2014-10-20 16:15:50 +00:00
#ifdef EXCEPTION_NEEDS_THROW_SPEC
~BaseError() throw () { };
2020-04-21 19:25:41 +00:00
const char * what() const throw () { return err.description.c_str(); }
2014-10-20 16:15:50 +00:00
#else
2020-04-21 19:25:41 +00:00
const char * what() const noexcept { return err.description.c_str(); }
2014-10-20 16:15:50 +00:00
#endif
2020-04-21 19:25:41 +00:00
const string & msg() const { return err.description; }
const string & prefix() const { return prefix_; }
BaseError & addPrefix(const FormatOrString & fs);
2020-04-21 19:25:41 +00:00
const ErrorInfo & info() const { return err; }
};
#define MakeError(newClass, superClass) \
class newClass : public superClass \
{ \
public: \
using superClass::superClass; \
}
MakeError(Error, BaseError);
class SysError : public Error
{
public:
int errNo;
template<typename... Args>
SysError(const Args & ... args)
2020-04-21 19:25:41 +00:00
: Error(args...) // TODO addErrNo for hintfmt
// : Error(addErrno(hintfmt(args...)))
{ }
private:
std::string addErrno(const std::string & s);
};
typedef list<string> Strings;
typedef set<string> StringSet;
typedef std::map<std::string, std::string> StringMap;
/* Paths are just strings. */
typedef string Path;
typedef list<Path> Paths;
typedef set<Path> PathSet;
}