1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

#include "lix/libexpr/eval-error.hh"
#include "lix/libexpr/eval.hh"
#include "lix/libexpr/value.hh"
#include "lix/libutil/types.hh"

namespace nix {

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::withExitStatus(unsigned int exitStatus) &&
{
    error->withExitStatus(exitStatus);
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::atPos(PosIdx pos) &&
{
    error->err.pos = positions[pos];
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::withTrace(PosIdx pos, const std::string_view text) &&
{
    error->err.traces.push_front(
        Trace{.pos = positions[pos], .hint = HintFmt(std::string(text))});
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::withSuggestions(Suggestions & s) &&
{
    error->err.suggestions = s;
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::withFrame(const Env & env, const Expr & expr) &&
{
    if (debug) {
        error->frame = debug->addTrace(DebugTrace{
            .pos = positions[expr.getPos()],
            .expr = expr,
            .env = env,
            .hint = HintFmt("Fake frame for debugging purposes"),
            .isError = true
        }).entry;
    }
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
EvalErrorBuilder<T> EvalErrorBuilder<T>::addTrace(PosIdx pos, HintFmt hint) &&
{
    error->addTrace(positions[pos], hint);
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
template<typename... Args>
EvalErrorBuilder<T>
EvalErrorBuilder<T>::addTrace(PosIdx pos, std::string_view formatString, const Args &... formatArgs) &&
{

    addTrace(positions[pos], HintFmt(std::string(formatString), formatArgs...));
    return std::move(*this);
}

template<std::derived_from<EvalError> T>
void EvalErrorBuilder<T>::debugThrow(NeverAsync) &&
{
    if (debug) {
        if (auto last = debug->traces().next()) {
            const Env * env = &(*last)->env;
            const Expr * expr = &(*last)->expr;
            debug->onEvalError(error.get(), *env, *expr);
        }
    }

    throw *error; // NOLINT(lix-foreign-exceptions): type dependent
}

template<std::derived_from<EvalError> T>
void EvalErrorBuilder<T>::throw_() &&
{
    throw *error; // NOLINT(lix-foreign-exceptions): type dependent
}

template class EvalErrorBuilder<EvalError>;
template class EvalErrorBuilder<AssertionError>;
template class EvalErrorBuilder<ThrownError>;
template class EvalErrorBuilder<Abort>;
template class EvalErrorBuilder<TypeError>;
template class EvalErrorBuilder<UndefinedVarError>;
template class EvalErrorBuilder<MissingArgumentError>;
template class EvalErrorBuilder<InfiniteRecursionError>;
template class EvalErrorBuilder<InvalidPathError>;

}