1
0

json-partial.h 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. #pragma once
  2. #include <nlohmann/json.hpp>
  3. // Healing marker (empty if the JSON was fully parsed / wasn't healed).
  4. struct common_healing_marker {
  5. // Raw marker.
  6. std::string marker;
  7. // Cutting the `common_json.json.dump()` string at the (only) occurrence of this marker should yield the original partial JSON string (modulo spaces / if it had the same dump format).
  8. std::string json_dump_marker;
  9. };
  10. // Represents a parsed JSON object, with its optional healing marker (a JSON dump fragment that can be used to find the position of healing in the JSON dump string)
  11. struct common_json {
  12. nlohmann::ordered_json json;
  13. common_healing_marker healing_marker;
  14. };
  15. // Parse the JSON string, healing (closing) any partial JSON if `healing_marker` is not empty.
  16. //
  17. // Healing completes partial JSON strings by adding a (possibly modified) healing marker, then whatever is needed to close the JSON.
  18. // This allows to parse the resulting healed JSON string, yet be able to cut it again if needed at the healing marker.
  19. // (this is used when parsing JSON outputs from the models, then crafting partial JSONs for the partial tool calls in OAI format).
  20. //
  21. // For instance, parsing `{` with a healing marker `foo` will produce a healed JSON `{"foo":1}`, w/ json_dump_marker = `"foo"` (which can be used to break the JSON again).
  22. bool common_json_parse(
  23. const std::string & input,
  24. const std::string & healing_marker,
  25. common_json & out);
  26. // Parse the JSON string (see overload above), but advancing an iterator to the end of the input when the (potentially partial) parsing succeeds.
  27. bool common_json_parse(
  28. std::string::const_iterator & it,
  29. const std::string::const_iterator & end,
  30. const std::string & healing_marker,
  31. common_json & out);