13#ifndef LLDB_HOST_JSONTRANSPORT_H
14#define LLDB_HOST_JSONTRANSPORT_H
21#include "llvm/ADT/FunctionExtras.h"
22#include "llvm/ADT/StringExtras.h"
23#include "llvm/ADT/StringRef.h"
24#include "llvm/Support/Error.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/FormatVariadic.h"
27#include "llvm/Support/JSON.h"
28#include "llvm/Support/raw_ostream.h"
34#include <system_error>
39#if __cplusplus >= 202002L
48 :
public llvm::ErrorInfo<TransportUnhandledContentsError> {
54 void log(llvm::raw_ostream &
OS)
const override;
74 void log(llvm::raw_ostream &
OS)
const override;
95 void log(llvm::raw_ostream &
OS)
const override;
102#if __cplusplus >= 202002L
106concept ProtocolDescriptor =
requires {
121#if __cplusplus >= 202002L
122template <ProtocolDescriptor Proto>
124template <
typename Proto>
128 using Req =
typename Proto::Req;
129 using Resp =
typename Proto::Resp;
130 using Evt =
typename Proto::Evt;
172 template <
typename... Ts>
inline auto Logv(
const char *Fmt, Ts &&...Vals) {
173 Log(llvm::formatv(Fmt, std::forward<Ts>(Vals)...).str());
175 virtual void Log(llvm::StringRef message) = 0;
187 llvm::Error
Send(
const typename Proto::Evt &evt)
override {
191 llvm::Error
Send(
const typename Proto::Req &req)
override {
195 llvm::Error
Send(
const typename Proto::Resp &resp)
override {
212 llvm::Error
Write(
const llvm::json::Value &message) {
213 this->
Logv(
"<-- {0}", message);
214 std::string output =
Encode(message);
215 size_t bytes_written = output.size();
216 return m_out->Write(output.data(), bytes_written).takeError();
219 virtual llvm::Expected<std::vector<std::string>>
Parse() = 0;
220 virtual std::string
Encode(
const llvm::json::Value &message) = 0;
227 size_t num_bytes =
sizeof(buf);
228 if (
Status status =
m_in->Read(buf, num_bytes); status.Fail()) {
229 handler.OnError(status.takeError());
234 m_buffer.append(llvm::StringRef(buf, num_bytes));
238 llvm::Expected<std::vector<std::string>> raw_messages =
Parse();
239 if (llvm::Error
error = raw_messages.takeError()) {
240 handler.OnError(std::move(
error));
244 for (
const std::string &raw_message : *raw_messages) {
245 llvm::Expected<Message> message =
246 llvm::json::parse<Message>(raw_message);
248 handler.OnError(message.takeError());
252 std::visit([&handler](
auto &&msg) { handler.Received(msg); }, *message);
257 if (num_bytes == 0) {
260 handler.OnError(llvm::make_error<TransportUnhandledContentsError>(
277#if __cplusplus >= 202002L
278template <ProtocolDescriptor Proto>
280template <
typename Proto>
289 std::string
Encode(
const llvm::json::Value &message)
override {
291 std::string raw_message = llvm::formatv(
"{0}", message).str();
292 llvm::raw_string_ostream
OS(output);
294 << std::to_string(raw_message.size()) <<
kEndOfHeader << raw_message;
300 llvm::Expected<std::vector<std::string>>
Parse()
override {
301 std::vector<std::string> messages;
302 llvm::StringRef buffer = this->
m_buffer;
305 size_t content_length = 0;
307 for (
const llvm::StringRef &header :
315 value = value.trim();
316 if (!llvm::to_integer(value, content_length, 10)) {
319 return llvm::createStringError(std::errc::invalid_argument,
320 "invalid content length: %s",
321 value.str().c_str());
326 if (content_length > rest.size())
329 llvm::StringRef body = rest.take_front(content_length);
330 buffer = rest.drop_front(content_length);
331 messages.emplace_back(body.str());
332 this->
Logv(
"--> {0}", body);
338 return std::move(messages);
348#if __cplusplus >= 202002L
349template <ProtocolDescriptor Proto>
351template <
typename Proto>
358 std::string
Encode(
const llvm::json::Value &message)
override {
362 llvm::Expected<std::vector<std::string>>
Parse()
override {
363 std::vector<std::string> messages;
364 llvm::StringRef buf = this->
m_buffer;
368 messages.emplace_back(raw_json.str());
369 this->
Logv(
"--> {0}", raw_json);
384 std::conditional_t<std::is_void_v<T>,
385 llvm::unique_function<void(llvm::Error)>,
386 llvm::unique_function<void(llvm::Expected<T>)>>;
389template <
typename R,
typename P>
struct request_t final {
396 using type = llvm::unique_function<void(
const P &)>;
399 using type = llvm::unique_function<void()>;
403template <
typename R,
typename P>
409#if __cplusplus >= 202002L
413concept BindingBuilder =
414 ProtocolDescriptor<T> &&
415 requires(T::Id
id, T::Req req, T::Resp resp, T::Evt evt,
416 llvm::StringRef method, std::optional<llvm::json::Value> params,
417 std::optional<llvm::json::Value> result, llvm::Error err) {
419 { T::InitialId() } -> std::same_as<typename T::Id>;
421 {
id++ } -> std::same_as<typename T::Id>;
426 { T::Make(
id, method, params) } -> std::same_as<typename T::Req>;
428 { T::Make(req, std::move(err)) } -> std::same_as<typename T::Resp>;
430 { T::Make(req, result) } -> std::same_as<typename T::Resp>;
432 { T::Make(method, params) } -> std::same_as<typename T::Evt>;
438 { T::KeyFor(resp) } -> std::same_as<typename T::Id>;
440 { T::KeyFor(req) } -> std::same_as<std::string>;
442 { T::KeyFor(evt) } -> std::same_as<std::string>;
448 { T::Extract(req) } -> std::same_as<std::optional<llvm::json::Value>>;
450 { T::Extract(resp) } -> std::same_as<llvm::Expected<llvm::json::Value>>;
452 { T::Extract(evt) } -> std::same_as<std::optional<llvm::json::Value>>;
483#if __cplusplus >= 202002L
484template <BindingBuilder Proto>
486template <
typename Proto>
489 using Req =
typename Proto::Req;
490 using Resp =
typename Proto::Resp;
491 using Evt =
typename Proto::Evt;
492 using Id =
typename Proto::Id;
503 template <
typename Fn,
typename...
Args>
507 template <
typename Fn,
typename...
Args>
514 template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
515 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
522 template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
529 template <
typename Params,
typename Fn,
typename...
Args>
530 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
535 template <
typename Result,
typename Params>
541 template <
typename Params>
545 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
548 OnError(llvm::createStringError(
549 llvm::formatv(
"no handled for event {0}",
toJSON(evt))));
558 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
561 reply(Proto::Make(req, llvm::createStringError(
"method not found")));
565 it->second(req, std::move(reply));
569 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
571 Id id = Proto::KeyFor(resp);
574 OnError(llvm::createStringError(
575 llvm::formatv(
"no pending request for {0}",
toJSON(resp))));
584 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
595 Callback<void()> disconnect_handler;
597 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
600 if (disconnect_handler)
601 disconnect_handler();
608 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
611 for (
auto &entry : pending) {
612 Req req = Proto::Make(entry.first,
"", std::nullopt);
613 entry.second(Proto::Make(req, llvm::createStringError(reason)));
618 template <
typename T>
619 llvm::Expected<T>
static Parse(
const llvm::json::Value &raw,
620 llvm::StringRef method);
622 template <
typename T>
using Callback = llvm::unique_function<T>;
653 other.transport =
nullptr;
654 other.handler =
nullptr;
662 assert(
false &&
"must reply to all calls!");
663 (*this)(Proto::Make(
req, llvm::createStringError(
"failed to reply")));
670 assert(
false &&
"must reply to each call only once!");
680#if __cplusplus >= 202002L
681template <BindingBuilder Proto>
683template <
typename Proto>
685template <
typename Fn,
typename...
Args>
688 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
692#if __cplusplus >= 202002L
693template <BindingBuilder Proto>
695template <
typename Proto>
697template <
typename Fn,
typename...
Args>
700 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...,
705#if __cplusplus >= 202002L
706template <BindingBuilder Proto>
708template <
typename Proto>
710template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
713 "request already bound");
714 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
716 [fn, args...](
const Req &req,
717 llvm::unique_function<void(
const Resp &)> reply)
mutable {
719 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
720 reply(Proto::Make(req, std::move(result)));
722 }
else if constexpr (std::is_void_v<Params>) {
724 [fn, args...](
const Req &req,
725 llvm::unique_function<void(
const Resp &)> reply)
mutable {
726 llvm::Expected<Result> result =
727 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
729 return reply(Proto::Make(req, result.takeError()));
730 reply(Proto::Make(req,
toJSON(*result)));
732 }
else if constexpr (std::is_void_v<Result>) {
735 args...](
const Req &req,
736 llvm::unique_function<void(
const Resp &)> reply)
mutable {
737 llvm::Expected<Params> params =
740 return reply(Proto::Make(req, params.takeError()));
742 llvm::Error result = std::invoke(
743 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
744 reply(Proto::Make(req, std::move(result)));
749 args...](
const Req &req,
750 llvm::unique_function<void(
const Resp &)> reply)
mutable {
751 llvm::Expected<Params> params =
754 return reply(Proto::Make(req, params.takeError()));
756 llvm::Expected<Result> result = std::invoke(
757 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
759 return reply(Proto::Make(req, result.takeError()));
761 reply(Proto::Make(req,
toJSON(*result)));
766#if __cplusplus >= 202002L
767template <BindingBuilder Proto>
769template <
typename Proto>
771template <
typename Params,
typename Fn,
typename...
Args>
774 "event already bound");
775 if constexpr (std::is_void_v<Params>) {
777 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
781 args...](
const Evt &evt)
mutable {
782 llvm::Expected<Params> params =
785 return OnError(params.takeError());
786 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
791#if __cplusplus >= 202002L
792template <BindingBuilder Proto>
794template <
typename Proto>
796template <
typename Result,
typename Params>
799 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
801 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
803 Req req = Proto::Make(
id, method, std::nullopt);
805 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
807 return fn(result.takeError());
808 fn(llvm::Error::success());
813 }
else if constexpr (std::is_void_v<Params>) {
815 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
817 Req req = Proto::Make(
id, method, std::nullopt);
819 method](
const Resp &resp)
mutable {
820 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
822 return fn(result.takeError());
828 }
else if constexpr (std::is_void_v<Result>) {
829 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
830 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
832 Req req = Proto::Make(
id, method, llvm::json::Value(params));
834 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
836 return fn(result.takeError());
837 fn(llvm::Error::success());
843 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
844 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
846 Req req = Proto::Make(
id, method, llvm::json::Value(params));
848 method](
const Resp &resp)
mutable {
849 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
850 if (llvm::Error err = result.takeError())
851 return fn(std::move(err));
860#if __cplusplus >= 202002L
861template <BindingBuilder Proto>
863template <
typename Proto>
865template <
typename Params>
867 if constexpr (std::is_void_v<Params>) {
868 return [
this, method]() {
869 if (llvm::Error
error =
870 m_transport.Send(Proto::Make(method, std::nullopt)))
874 return [
this, method](
const Params ¶ms) {
875 if (llvm::Error
error =
882#if __cplusplus >= 202002L
883template <BindingBuilder Proto>
885template <
typename Proto>
889 llvm::StringRef method) {
891 llvm::json::Path::Root root;
895 llvm::raw_string_ostream
OS(context);
896 root.printErrorContext(raw,
OS);
897 return llvm::make_error<InvalidParams>(method.str(), context);
899 return std::move(result);
902#if __cplusplus >= 202002L
903template <BindingBuilder Proto>
905template <
typename Proto>
907template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
911 "request already bound");
915 if constexpr (std::is_void_v<Params>) {
917 [fn, args...](
const Req &req,
920 [req, reply = std::move(reply)](
921 llvm::Expected<Result> result)
mutable {
923 return reply(Proto::Make(req, result.takeError()));
924 reply(Proto::Make(req,
toJSON(*result)));
926 std::invoke(fn, args..., std::move(typed_reply));
930 [method, fn, args...](
const Req &req,
933 [req, reply = std::move(reply)](
934 llvm::Expected<Result> result)
mutable {
936 return reply(Proto::Make(req, result.takeError()));
937 reply(Proto::Make(req,
toJSON(*result)));
939 llvm::Expected<Params> params =
942 return typed_reply(params.takeError());
943 std::invoke(fn, args..., *params, std::move(typed_reply));
static llvm::raw_ostream & error(Stream &strm)
A command line argument class.
std::unique_ptr< ReadHandle > ReadHandleUP
void operator()(const Resp &resp)
ReplyOnce & operator=(const ReplyOnce &)=delete
std::atomic< bool > replied
ReplyOnce(const Req req, Transport *transport, MessageHandler *handler)
ReplyOnce & operator=(ReplyOnce &&)=delete
ReplyOnce(ReplyOnce &&other)
ReplyOnce(const ReplyOnce &)=delete
void Received(const Resp &resp) override
Called when a response is received.
JSONTransport< Proto > Transport
typename Transport::MessageHandler MessageHandler
void OnDisconnect(Fn &&fn, Args &&...args)
Bind a handler on transport disconnect.
void Bind(llvm::StringLiteral method, Fn &&fn, Args &&...args)
Bind a handler for an incoming request.
void BindAsync(llvm::StringLiteral method, Fn &&fn, Args &&...args)
Bind an asynchronous handler for an incoming request.
void Bind(llvm::StringLiteral method, Fn &&fn, Args &&...args)
Bind a handler for an incoming event.
std::recursive_mutex m_mutex
llvm::StringMap< Callback< void(const Req &, Callback< void(const Resp &)>)> > m_request_handlers
void FailPendingRequests(llvm::StringRef reason)
Fails every in-flight outgoing request, invoking its reply with an error.
void OnClosed() override
Called on EOF or client disconnect.
Callback< void(llvm::Error)> m_error_handler
void OnError(Fn &&fn, Args &&...args)
Bind a handler on error when communicating with the transport.
void Received(const Evt &evt) override
Called when an event is received.
OutgoingRequest< Result, Params > Bind(llvm::StringLiteral method)
Bind a function object to be used for outgoing requests.
std::map< Id, Callback< void(const Resp &)> > m_pending_responses
Binder & operator=(const Binder &)=delete
Binder(Transport &transport)
void Received(const Req &req) override
Called when a request is received.
static llvm::Expected< T > Parse(const llvm::json::Value &raw, llvm::StringRef method)
OutgoingEvent< Params > Bind(llvm::StringLiteral method)
Bind a function object to be used for outgoing events.
Binder(const Binder &)=delete
void OnError(llvm::Error err) override
Called when an error occurs while reading from the transport.
typename Proto::Resp Resp
llvm::unique_function< T > Callback
llvm::StringMap< Callback< void(const Evt &)> > m_event_handlers
Callback< void()> m_disconnect_handler
A transport class for JSON with a HTTP header.
static constexpr llvm::StringLiteral kHeaderFieldSeparator
static constexpr llvm::StringLiteral kEndOfHeader
static constexpr llvm::StringLiteral kHeaderSeparator
std::string Encode(const llvm::json::Value &message) override
Encodes messages based on https://microsoft.github.io/debug-adapter-protocol/overview#base-protocol.
llvm::Expected< std::vector< std::string > > Parse() override
Parses messages based on https://microsoft.github.io/debug-adapter-protocol/overview#base-protocol.
static constexpr llvm::StringLiteral kHeaderContentLength
void OnRead(MainLoopBase &loop, MessageHandler &handler)
IOTransport(MainLoop &loop, lldb::IOObjectSP in, lldb::IOObjectSP out)
static constexpr size_t kReadBufferSize
Public for testing purposes, otherwise this should be an implementation detail.
typename JSONTransport< Proto >::MessageHandler MessageHandler
llvm::Error Send(const typename Proto::Resp &resp) override
typename JSONTransport< Proto >::Message Message
llvm::Error Send(const typename Proto::Evt &evt) override
virtual std::string Encode(const llvm::json::Value &message)=0
virtual llvm::Expected< std::vector< std::string > > Parse()=0
MainLoop::ReadHandleUP m_read_handle
llvm::Error Write(const llvm::json::Value &message)
llvm::Error Send(const typename Proto::Req &req) override
llvm::SmallString< kReadBufferSize > m_buffer
llvm::Error RegisterMessageHandler(MessageHandler &handler) override
RegisterMessageHandler registers the Transport with the given MainLoop and handles any incoming messa...
std::error_code convertToErrorCode() const override
std::string m_context
Additional context from the parsing failure, e.g.
InvalidParams(std::string method, std::string context)
std::string m_method
The JSONRPC remote method call.
void log(llvm::raw_ostream &OS) const override
A transport class for JSON RPC.
llvm::Expected< std::vector< std::string > > Parse() override
static constexpr llvm::StringLiteral kMessageSeparator
std::string Encode(const llvm::json::Value &message) override
Implemented to handle incoming messages.
virtual void OnError(llvm::Error)=0
Called when an error occurs while reading from the transport.
virtual void OnClosed()=0
Called on EOF or client disconnect.
virtual ~MessageHandler()=default
virtual void Received(const Req &)=0
Called when a request is received.
virtual void Received(const Evt &)=0
Called when an event is received.
virtual void Received(const Resp &)=0
Called when a response is received.
A transport is responsible for maintaining the connection to a client application,...
virtual llvm::Error Send(const Resp &)=0
Sends a response to a specific request.
virtual ~JSONTransport()=default
std::variant< Req, Resp, Evt > Message
virtual llvm::Error Send(const Evt &)=0
Sends an event, a message that does not require a response.
virtual llvm::Error RegisterMessageHandler(MessageHandler &handler)=0
RegisterMessageHandler registers the Transport with the given MainLoop and handles any incoming messa...
auto Logv(const char *Fmt, Ts &&...Vals)
virtual llvm::Error Send(const Req &)=0
Sends a request, a message that expects a response.
virtual void Log(llvm::StringRef message)=0
typename Proto::Resp Resp
static constexpr int kErrorCode
std::error_code convertToErrorCode() const override
MethodNotFound(std::string method)
void log(llvm::raw_ostream &OS) const override
const std::string & getUnhandledContents() const
void log(llvm::raw_ostream &OS) const override
TransportUnhandledContentsError(std::string unhandled_contents)
std::error_code convertToErrorCode() const override
std::string m_unhandled_contents
std::conditional_t< std::is_void_v< T >, llvm::unique_function< void(llvm::Error)>, llvm::unique_function< void(llvm::Expected< T >)> > Reply
A handler for the response to an outgoing request.
typename detail::event_t< P >::type OutgoingEvent
A function to send an outgoing event.
typename detail::request_t< R, P >::type OutgoingRequest
llvm::json::Value toJSON(const Diagnostics::Report &report)
Render a diagnostics report as JSON, for diagnostics dump's terminal output.
bool fromJSON(const llvm::json::Value &value, SymbolValue &data, llvm::json::Path path)
std::shared_ptr< lldb_private::IOObject > IOObjectSP
llvm::unique_function< void()> type
llvm::unique_function< void(const P &)> type
llvm::unique_function< void(Reply< R >)> type
llvm::unique_function< void(const P &, Reply< R >)> type