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;
76 void log(llvm::raw_ostream &
OS)
const override;
99 void log(llvm::raw_ostream &
OS)
const override;
116 void log(llvm::raw_ostream &
OS)
const override;
123#if __cplusplus >= 202002L
127concept ProtocolDescriptor =
requires {
142#if __cplusplus >= 202002L
143template <ProtocolDescriptor Proto>
145template <
typename Proto>
149 using Req =
typename Proto::Req;
150 using Resp =
typename Proto::Resp;
151 using Evt =
typename Proto::Evt;
167 llvm::StringRef reason) {
168 return llvm::Error::success();
201 template <
typename... Ts>
inline auto Logv(
const char *Fmt, Ts &&...Vals) {
202 Log(llvm::formatv(Fmt, std::forward<Ts>(Vals)...).str());
204 virtual void Log(llvm::StringRef message) = 0;
216 llvm::Error
Send(
const typename Proto::Evt &evt)
override {
220 llvm::Error
Send(
const typename Proto::Req &req)
override {
224 llvm::Error
Send(
const typename Proto::Resp &resp)
override {
241 llvm::Error
Write(
const llvm::json::Value &message) {
242 this->
Logv(
"<-- {0}", message);
243 std::string output =
Encode(message);
244 size_t bytes_written = output.size();
245 return m_out->Write(output.data(), bytes_written).takeError();
248 virtual llvm::Expected<std::vector<std::string>>
Parse() = 0;
249 virtual std::string
Encode(
const llvm::json::Value &message) = 0;
256 size_t num_bytes =
sizeof(buf);
257 if (
Status status =
m_in->Read(buf, num_bytes); status.Fail()) {
258 handler.OnError(status.takeError());
263 m_buffer.append(llvm::StringRef(buf, num_bytes));
267 llvm::Expected<std::vector<std::string>> raw_messages =
Parse();
268 if (llvm::Error
error = raw_messages.takeError()) {
269 handler.OnError(std::move(
error));
273 for (
const std::string &raw_message : *raw_messages) {
274 llvm::Expected<Message> message =
275 llvm::json::parse<Message>(raw_message);
279 std::string reason = llvm::toString(message.takeError());
280 if (llvm::Error
error =
282 handler.OnError(std::move(
error));
284 llvm::make_error<InvalidMessage>(raw_message, std::move(reason)));
288 std::visit([&handler](
auto &&msg) { handler.Received(msg); }, *message);
293 if (num_bytes == 0) {
296 handler.OnError(llvm::make_error<TransportUnhandledContentsError>(
313#if __cplusplus >= 202002L
314template <ProtocolDescriptor Proto>
316template <
typename Proto>
325 std::string
Encode(
const llvm::json::Value &message)
override {
327 std::string raw_message = llvm::formatv(
"{0}", message).str();
328 llvm::raw_string_ostream
OS(output);
330 << std::to_string(raw_message.size()) <<
kEndOfHeader << raw_message;
336 llvm::Expected<std::vector<std::string>>
Parse()
override {
337 std::vector<std::string> messages;
338 llvm::StringRef buffer = this->
m_buffer;
341 size_t content_length = 0;
343 for (
const llvm::StringRef &header :
351 value = value.trim();
352 if (!llvm::to_integer(value, content_length, 10)) {
355 return llvm::createStringError(std::errc::invalid_argument,
356 "invalid content length: %s",
357 value.str().c_str());
362 if (content_length > rest.size())
365 llvm::StringRef body = rest.take_front(content_length);
366 buffer = rest.drop_front(content_length);
367 messages.emplace_back(body.str());
368 this->
Logv(
"--> {0}", body);
374 return std::move(messages);
384#if __cplusplus >= 202002L
385template <ProtocolDescriptor Proto>
387template <
typename Proto>
394 std::string
Encode(
const llvm::json::Value &message)
override {
398 llvm::Expected<std::vector<std::string>>
Parse()
override {
399 std::vector<std::string> messages;
400 llvm::StringRef buf = this->
m_buffer;
404 messages.emplace_back(raw_json.str());
405 this->
Logv(
"--> {0}", raw_json);
420 std::conditional_t<std::is_void_v<T>,
421 llvm::unique_function<void(llvm::Error)>,
422 llvm::unique_function<void(llvm::Expected<T>)>>;
425template <
typename R,
typename P>
struct request_t final {
432 using type = llvm::unique_function<void(
const P &)>;
435 using type = llvm::unique_function<void()>;
439template <
typename R,
typename P>
445#if __cplusplus >= 202002L
449concept BindingBuilder =
450 ProtocolDescriptor<T> &&
451 requires(T::Id
id, T::Req req, T::Resp resp, T::Evt evt,
452 llvm::StringRef method, std::optional<llvm::json::Value> params,
453 std::optional<llvm::json::Value> result, llvm::Error err) {
455 { T::InitialId() } -> std::same_as<typename T::Id>;
457 {
id++ } -> std::same_as<typename T::Id>;
462 { T::Make(
id, method, params) } -> std::same_as<typename T::Req>;
464 { T::Make(req, std::move(err)) } -> std::same_as<typename T::Resp>;
466 { T::Make(req, result) } -> std::same_as<typename T::Resp>;
468 { T::Make(method, params) } -> std::same_as<typename T::Evt>;
474 { T::KeyFor(resp) } -> std::same_as<typename T::Id>;
476 { T::KeyFor(req) } -> std::same_as<std::string>;
478 { T::KeyFor(evt) } -> std::same_as<std::string>;
484 { T::Extract(req) } -> std::same_as<std::optional<llvm::json::Value>>;
486 { T::Extract(resp) } -> std::same_as<llvm::Expected<llvm::json::Value>>;
488 { T::Extract(evt) } -> std::same_as<std::optional<llvm::json::Value>>;
519#if __cplusplus >= 202002L
520template <BindingBuilder Proto>
522template <
typename Proto>
525 using Req =
typename Proto::Req;
526 using Resp =
typename Proto::Resp;
527 using Evt =
typename Proto::Evt;
528 using Id =
typename Proto::Id;
539 template <
typename Fn,
typename...
Args>
543 template <
typename Fn,
typename...
Args>
550 template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
551 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
558 template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
565 template <
typename Params,
typename Fn,
typename...
Args>
566 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
571 template <
typename Result,
typename Params>
577 template <
typename Params>
581 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
584 OnError(llvm::createStringError(
585 llvm::formatv(
"no handler for event {0}",
toJSON(evt))));
594 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
597 reply(Proto::Make(req,
598 llvm::make_error<MethodNotFound>(Proto::KeyFor(req))));
602 it->second(req, std::move(reply));
606 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
608 Id id = Proto::KeyFor(resp);
611 OnError(llvm::createStringError(
612 llvm::formatv(
"no pending request for {0}",
toJSON(resp))));
621 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
632 Callback<void()> disconnect_handler;
634 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
637 if (disconnect_handler)
638 disconnect_handler();
645 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
648 for (
auto &entry : pending) {
649 Req req = Proto::Make(entry.first,
"", std::nullopt);
650 entry.second(Proto::Make(req, llvm::createStringError(reason)));
655 template <
typename T>
656 llvm::Expected<T>
static Parse(
const llvm::json::Value &raw,
657 llvm::StringRef method);
659 template <
typename T>
using Callback = llvm::unique_function<T>;
690 other.transport =
nullptr;
691 other.handler =
nullptr;
699 assert(
false &&
"must reply to all calls!");
700 (*this)(Proto::Make(
req, llvm::createStringError(
"failed to reply")));
707 assert(
false &&
"must reply to each call only once!");
717#if __cplusplus >= 202002L
718template <BindingBuilder Proto>
720template <
typename Proto>
722template <
typename Fn,
typename...
Args>
725 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
729#if __cplusplus >= 202002L
730template <BindingBuilder Proto>
732template <
typename Proto>
734template <
typename Fn,
typename...
Args>
737 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...,
742#if __cplusplus >= 202002L
743template <BindingBuilder Proto>
745template <
typename Proto>
747template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
750 "request already bound");
751 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
753 [fn, args...](
const Req &req,
754 llvm::unique_function<void(
const Resp &)> reply)
mutable {
756 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
757 reply(Proto::Make(req, std::move(result)));
759 }
else if constexpr (std::is_void_v<Params>) {
761 [fn, args...](
const Req &req,
762 llvm::unique_function<void(
const Resp &)> reply)
mutable {
763 llvm::Expected<Result> result =
764 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
766 return reply(Proto::Make(req, result.takeError()));
767 reply(Proto::Make(req,
toJSON(*result)));
769 }
else if constexpr (std::is_void_v<Result>) {
772 args...](
const Req &req,
773 llvm::unique_function<void(
const Resp &)> reply)
mutable {
774 llvm::Expected<Params> params =
777 return reply(Proto::Make(req, params.takeError()));
779 llvm::Error result = std::invoke(
780 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
781 reply(Proto::Make(req, std::move(result)));
786 args...](
const Req &req,
787 llvm::unique_function<void(
const Resp &)> reply)
mutable {
788 llvm::Expected<Params> params =
791 return reply(Proto::Make(req, params.takeError()));
793 llvm::Expected<Result> result = std::invoke(
794 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
796 return reply(Proto::Make(req, result.takeError()));
798 reply(Proto::Make(req,
toJSON(*result)));
803#if __cplusplus >= 202002L
804template <BindingBuilder Proto>
806template <
typename Proto>
808template <
typename Params,
typename Fn,
typename...
Args>
811 "event already bound");
812 if constexpr (std::is_void_v<Params>) {
814 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
818 args...](
const Evt &evt)
mutable {
819 llvm::Expected<Params> params =
822 return OnError(params.takeError());
823 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
828#if __cplusplus >= 202002L
829template <BindingBuilder Proto>
831template <
typename Proto>
833template <
typename Result,
typename Params>
836 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
838 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
840 Req req = Proto::Make(
id, method, std::nullopt);
842 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
844 return fn(result.takeError());
845 fn(llvm::Error::success());
850 }
else if constexpr (std::is_void_v<Params>) {
852 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
854 Req req = Proto::Make(
id, method, std::nullopt);
856 method](
const Resp &resp)
mutable {
857 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
859 return fn(result.takeError());
865 }
else if constexpr (std::is_void_v<Result>) {
866 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
867 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
869 Req req = Proto::Make(
id, method, llvm::json::Value(params));
871 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
873 return fn(result.takeError());
874 fn(llvm::Error::success());
880 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
881 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
883 Req req = Proto::Make(
id, method, llvm::json::Value(params));
885 method](
const Resp &resp)
mutable {
886 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
887 if (llvm::Error err = result.takeError())
888 return fn(std::move(err));
897#if __cplusplus >= 202002L
898template <BindingBuilder Proto>
900template <
typename Proto>
902template <
typename Params>
904 if constexpr (std::is_void_v<Params>) {
905 return [
this, method]() {
906 if (llvm::Error
error =
907 m_transport.Send(Proto::Make(method, std::nullopt)))
911 return [
this, method](
const Params ¶ms) {
912 if (llvm::Error
error =
919#if __cplusplus >= 202002L
920template <BindingBuilder Proto>
922template <
typename Proto>
926 llvm::StringRef method) {
928 llvm::json::Path::Root root;
932 llvm::raw_string_ostream
OS(context);
933 root.printErrorContext(raw,
OS);
934 return llvm::make_error<InvalidParams>(method.str(), context);
936 return std::move(result);
939#if __cplusplus >= 202002L
940template <BindingBuilder Proto>
942template <
typename Proto>
944template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
948 "request already bound");
952 if constexpr (std::is_void_v<Params>) {
954 [fn, args...](
const Req &req,
957 [req, reply = std::move(reply)](
958 llvm::Expected<Result> result)
mutable {
960 return reply(Proto::Make(req, result.takeError()));
961 reply(Proto::Make(req,
toJSON(*result)));
963 std::invoke(fn, args..., std::move(typed_reply));
967 [method, fn, args...](
const Req &req,
970 [req, reply = std::move(reply)](
971 llvm::Expected<Result> result)
mutable {
973 return reply(Proto::Make(req, result.takeError()));
974 reply(Proto::Make(req,
toJSON(*result)));
976 llvm::Expected<Params> params =
979 return typed_reply(params.takeError());
980 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...
void log(llvm::raw_ostream &OS) const override
InvalidMessage(std::string raw_message, std::string reason)
static constexpr int kErrorCode
std::string m_raw_message
std::error_code convertToErrorCode() const override
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)
static constexpr int kErrorCode
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 ReplyWithParseError(llvm::StringRef raw_message, llvm::StringRef reason)
Sends an error response for a message that failed to parse, described by reason.
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