lix/src/libexpr/json-to-value.cc

175 lines
4.3 KiB
C++
Raw Normal View History

#include "json-to-value.hh"
#include <variant>
#include <nlohmann/json.hpp>
using json = nlohmann::json;
namespace nix {
// for more information, refer to
// https://github.com/nlohmann/json/blob/master/include/nlohmann/detail/input/json_sax.hpp
class JSONSax : nlohmann::json_sax<json> {
class JSONState {
protected:
2020-04-16 15:28:32 +00:00
std::unique_ptr<JSONState> parent;
RootValue v;
public:
2020-04-16 15:28:32 +00:00
virtual std::unique_ptr<JSONState> resolve(EvalState &)
{
throw std::logic_error("tried to close toplevel json parser state");
2020-04-16 15:28:32 +00:00
}
explicit JSONState(std::unique_ptr<JSONState> && p) : parent(std::move(p)) {}
explicit JSONState(Value * v) : v(allocRootValue(v)) {}
JSONState(JSONState & p) = delete;
Value & value(EvalState & state)
{
2020-04-16 15:28:32 +00:00
if (!v)
v = allocRootValue(state.allocValue());
return **v;
}
virtual ~JSONState() {}
virtual void add() {}
};
class JSONObjectState : public JSONState {
using JSONState::JSONState;
2020-04-16 15:28:32 +00:00
ValueMap attrs;
std::unique_ptr<JSONState> resolve(EvalState & state) override
{
2020-04-16 15:28:32 +00:00
Value & v = parent->value(state);
state.mkAttrs(v, attrs.size());
for (auto & i : attrs)
v.attrs->push_back(Attr(i.first, i.second));
return std::move(parent);
}
2020-04-16 15:28:32 +00:00
void add() override { v = nullptr; }
public:
2020-04-16 15:28:32 +00:00
void key(string_t & name, EvalState & state)
{
2020-04-16 15:28:32 +00:00
attrs.insert_or_assign(state.symbols.create(name), &value(state));
}
};
class JSONListState : public JSONState {
2020-04-16 15:28:32 +00:00
ValueVector values;
std::unique_ptr<JSONState> resolve(EvalState & state) override
{
2020-04-16 15:28:32 +00:00
Value & v = parent->value(state);
state.mkList(v, values.size());
for (size_t n = 0; n < values.size(); ++n) {
v.listElems()[n] = values[n];
}
return std::move(parent);
}
2020-04-16 15:28:32 +00:00
void add() override {
values.push_back(*v);
v = nullptr;
2020-04-16 15:28:32 +00:00
}
public:
2020-04-16 15:28:32 +00:00
JSONListState(std::unique_ptr<JSONState> && p, std::size_t reserve) : JSONState(std::move(p))
{
values.reserve(reserve);
}
};
EvalState & state;
2020-04-16 15:28:32 +00:00
std::unique_ptr<JSONState> rs;
public:
JSONSax(EvalState & state, Value & v) : state(state), rs(new JSONState(&v)) {};
bool null()
{
2022-01-04 17:40:39 +00:00
rs->value(state).mkNull();
rs->add();
return true;
}
bool boolean(bool val)
{
2022-01-04 17:40:39 +00:00
rs->value(state).mkBool(val);
rs->add();
return true;
}
bool number_integer(number_integer_t val)
{
2022-01-04 17:40:39 +00:00
rs->value(state).mkInt(val);
rs->add();
return true;
}
bool number_unsigned(number_unsigned_t val)
{
2022-01-04 17:40:39 +00:00
rs->value(state).mkInt(val);
rs->add();
return true;
}
2020-04-16 15:28:32 +00:00
bool number_float(number_float_t val, const string_t & s)
{
2022-01-04 17:40:39 +00:00
rs->value(state).mkFloat(val);
rs->add();
return true;
}
2020-04-16 15:28:32 +00:00
bool string(string_t & val)
{
2022-01-04 17:24:42 +00:00
rs->value(state).mkString(val);
rs->add();
return true;
}
2022-01-04 17:24:42 +00:00
2020-09-19 14:46:02 +00:00
#if NLOHMANN_JSON_VERSION_MAJOR >= 3 && NLOHMANN_JSON_VERSION_MINOR >= 8
bool binary(binary_t&)
{
// This function ought to be unreachable
assert(false);
return true;
}
#endif
bool start_object(std::size_t len)
{
rs = std::make_unique<JSONObjectState>(std::move(rs));
return true;
}
2020-04-16 15:28:32 +00:00
bool key(string_t & name)
{
dynamic_cast<JSONObjectState*>(rs.get())->key(name, state);
return true;
}
bool end_object() {
rs = rs->resolve(state);
rs->add();
return true;
}
bool end_array() {
return end_object();
}
bool start_array(size_t len) {
rs = std::make_unique<JSONListState>(std::move(rs),
len != std::numeric_limits<size_t>::max() ? len : 128);
return true;
}
bool parse_error(std::size_t, const std::string&, const nlohmann::detail::exception& ex) {
throw JSONParseError(ex.what());
}
};
void parseJSON(EvalState & state, const string & s_, Value & v)
{
JSONSax parser(state, v);
bool res = json::sax_parse(s_, &parser);
if (!res)
throw JSONParseError("Invalid JSON Value");
}
}