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>(
275#if __cplusplus >= 202002L
276template <ProtocolDescriptor Proto>
278template <
typename Proto>
287 std::string
Encode(
const llvm::json::Value &message)
override {
289 std::string raw_message = llvm::formatv(
"{0}", message).str();
290 llvm::raw_string_ostream
OS(output);
292 << std::to_string(raw_message.size()) <<
kEndOfHeader << raw_message;
298 llvm::Expected<std::vector<std::string>>
Parse()
override {
299 std::vector<std::string> messages;
300 llvm::StringRef buffer = this->
m_buffer;
303 size_t content_length = 0;
305 for (
const llvm::StringRef &header :
313 value = value.trim();
314 if (!llvm::to_integer(value, content_length, 10)) {
317 return llvm::createStringError(std::errc::invalid_argument,
318 "invalid content length: %s",
319 value.str().c_str());
324 if (content_length > rest.size())
327 llvm::StringRef body = rest.take_front(content_length);
328 buffer = rest.drop_front(content_length);
329 messages.emplace_back(body.str());
330 this->
Logv(
"--> {0}", body);
336 return std::move(messages);
346#if __cplusplus >= 202002L
347template <ProtocolDescriptor Proto>
349template <
typename Proto>
356 std::string
Encode(
const llvm::json::Value &message)
override {
360 llvm::Expected<std::vector<std::string>>
Parse()
override {
361 std::vector<std::string> messages;
362 llvm::StringRef buf = this->
m_buffer;
366 messages.emplace_back(raw_json.str());
367 this->
Logv(
"--> {0}", raw_json);
382 std::conditional_t<std::is_void_v<T>,
383 llvm::unique_function<void(llvm::Error)>,
384 llvm::unique_function<void(llvm::Expected<T>)>>;
387template <
typename R,
typename P>
struct request_t final {
394 using type = llvm::unique_function<void(
const P &)>;
397 using type = llvm::unique_function<void()>;
401template <
typename R,
typename P>
407#if __cplusplus >= 202002L
411concept BindingBuilder =
412 ProtocolDescriptor<T> &&
413 requires(T::Id
id, T::Req req, T::Resp resp, T::Evt evt,
414 llvm::StringRef method, std::optional<llvm::json::Value> params,
415 std::optional<llvm::json::Value> result, llvm::Error err) {
417 { T::InitialId() } -> std::same_as<typename T::Id>;
419 {
id++ } -> std::same_as<typename T::Id>;
424 { T::Make(
id, method, params) } -> std::same_as<typename T::Req>;
426 { T::Make(req, std::move(err)) } -> std::same_as<typename T::Resp>;
428 { T::Make(req, result) } -> std::same_as<typename T::Resp>;
430 { T::Make(method, params) } -> std::same_as<typename T::Evt>;
436 { T::KeyFor(resp) } -> std::same_as<typename T::Id>;
438 { T::KeyFor(req) } -> std::same_as<std::string>;
440 { T::KeyFor(evt) } -> std::same_as<std::string>;
446 { T::Extract(req) } -> std::same_as<std::optional<llvm::json::Value>>;
448 { T::Extract(resp) } -> std::same_as<llvm::Expected<llvm::json::Value>>;
450 { T::Extract(evt) } -> std::same_as<std::optional<llvm::json::Value>>;
481#if __cplusplus >= 202002L
482template <BindingBuilder Proto>
484template <
typename Proto>
487 using Req =
typename Proto::Req;
488 using Resp =
typename Proto::Resp;
489 using Evt =
typename Proto::Evt;
490 using Id =
typename Proto::Id;
501 template <
typename Fn,
typename...
Args>
505 template <
typename Fn,
typename...
Args>
512 template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
513 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
519 template <
typename Params,
typename Fn,
typename...
Args>
520 void Bind(llvm::StringLiteral method, Fn &&fn,
Args &&...args);
525 template <
typename Result,
typename Params>
531 template <
typename Params>
535 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
538 OnError(llvm::createStringError(
539 llvm::formatv(
"no handled for event {0}",
toJSON(evt))));
548 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
551 reply(Proto::Make(req, llvm::createStringError(
"method not found")));
555 it->second(req, std::move(reply));
559 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
561 Id id = Proto::KeyFor(resp);
564 OnError(llvm::createStringError(
565 llvm::formatv(
"no pending request for {0}",
toJSON(resp))));
574 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
580 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
586 template <
typename T>
587 llvm::Expected<T>
static Parse(
const llvm::json::Value &raw,
588 llvm::StringRef method);
590 template <
typename T>
using Callback = llvm::unique_function<T>;
621 other.transport =
nullptr;
622 other.handler =
nullptr;
630 assert(
false &&
"must reply to all calls!");
631 (*this)(Proto::Make(
req, llvm::createStringError(
"failed to reply")));
638 assert(
false &&
"must reply to each call only once!");
648#if __cplusplus >= 202002L
649template <BindingBuilder Proto>
651template <
typename Proto>
653template <
typename Fn,
typename...
Args>
656 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
660#if __cplusplus >= 202002L
661template <BindingBuilder Proto>
663template <
typename Proto>
665template <
typename Fn,
typename...
Args>
668 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...,
673#if __cplusplus >= 202002L
674template <BindingBuilder Proto>
676template <
typename Proto>
678template <
typename Result,
typename Params,
typename Fn,
typename...
Args>
681 "request already bound");
682 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
684 [fn, args...](
const Req &req,
685 llvm::unique_function<void(
const Resp &)> reply)
mutable {
687 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
688 reply(Proto::Make(req, std::move(result)));
690 }
else if constexpr (std::is_void_v<Params>) {
692 [fn, args...](
const Req &req,
693 llvm::unique_function<void(
const Resp &)> reply)
mutable {
694 llvm::Expected<Result> result =
695 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
697 return reply(Proto::Make(req, result.takeError()));
698 reply(Proto::Make(req,
toJSON(*result)));
700 }
else if constexpr (std::is_void_v<Result>) {
703 args...](
const Req &req,
704 llvm::unique_function<void(
const Resp &)> reply)
mutable {
705 llvm::Expected<Params> params =
708 return reply(Proto::Make(req, params.takeError()));
710 llvm::Error result = std::invoke(
711 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
712 reply(Proto::Make(req, std::move(result)));
717 args...](
const Req &req,
718 llvm::unique_function<void(
const Resp &)> reply)
mutable {
719 llvm::Expected<Params> params =
722 return reply(Proto::Make(req, params.takeError()));
724 llvm::Expected<Result> result = std::invoke(
725 std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
727 return reply(Proto::Make(req, result.takeError()));
729 reply(Proto::Make(req,
toJSON(*result)));
734#if __cplusplus >= 202002L
735template <BindingBuilder Proto>
737template <
typename Proto>
739template <
typename Params,
typename Fn,
typename...
Args>
742 "event already bound");
743 if constexpr (std::is_void_v<Params>) {
745 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)...);
749 args...](
const Evt &evt)
mutable {
750 llvm::Expected<Params> params =
753 return OnError(params.takeError());
754 std::invoke(std::forward<Fn>(fn), std::forward<Args>(args)..., *params);
759#if __cplusplus >= 202002L
760template <BindingBuilder Proto>
762template <
typename Proto>
764template <
typename Result,
typename Params>
767 if constexpr (std::is_void_v<Result> && std::is_void_v<Params>) {
769 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
771 Req req = Proto::Make(
id, method, std::nullopt);
773 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
775 return fn(result.takeError());
776 fn(llvm::Error::success());
781 }
else if constexpr (std::is_void_v<Params>) {
783 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
785 Req req = Proto::Make(
id, method, std::nullopt);
787 method](
const Resp &resp)
mutable {
788 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
790 return fn(result.takeError());
796 }
else if constexpr (std::is_void_v<Result>) {
797 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
798 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
800 Req req = Proto::Make(
id, method, llvm::json::Value(params));
802 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
804 return fn(result.takeError());
805 fn(llvm::Error::success());
811 return [
this, method](
const Params ¶ms,
Reply<Result> fn) {
812 std::scoped_lock<std::recursive_mutex> guard(
m_mutex);
814 Req req = Proto::Make(
id, method, llvm::json::Value(params));
816 method](
const Resp &resp)
mutable {
817 llvm::Expected<llvm::json::Value> result = Proto::Extract(resp);
818 if (llvm::Error err = result.takeError())
819 return fn(std::move(err));
828#if __cplusplus >= 202002L
829template <BindingBuilder Proto>
831template <
typename Proto>
833template <
typename Params>
835 if constexpr (std::is_void_v<Params>) {
836 return [
this, method]() {
837 if (llvm::Error
error =
838 m_transport.Send(Proto::Make(method, std::nullopt)))
842 return [
this, method](
const Params ¶ms) {
843 if (llvm::Error
error =
850#if __cplusplus >= 202002L
851template <BindingBuilder Proto>
853template <
typename Proto>
857 llvm::StringRef method) {
859 llvm::json::Path::Root root;
863 llvm::raw_string_ostream
OS(context);
864 root.printErrorContext(raw,
OS);
865 return llvm::make_error<InvalidParams>(method.str(), context);
867 return std::move(result);
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 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 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
bool fromJSON(const llvm::json::Value &value, TraceSupportedResponse &info, llvm::json::Path path)
llvm::json::Value toJSON(const TraceSupportedResponse &packet)
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