annotate clang-tools-extra/clangd/Transport.h @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children 5f17cb93ff66
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===--- Transport.h - sending and receiving LSP messages -------*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // The language server protocol is usually implemented by writing messages as
anatofuz
parents:
diff changeset
10 // JSON-RPC over the stdin/stdout of a subprocess. However other communications
anatofuz
parents:
diff changeset
11 // mechanisms are possible, such as XPC on mac.
anatofuz
parents:
diff changeset
12 //
anatofuz
parents:
diff changeset
13 // The Transport interface allows the mechanism to be replaced, and the JSONRPC
anatofuz
parents:
diff changeset
14 // Transport is the standard implementation.
anatofuz
parents:
diff changeset
15 //
anatofuz
parents:
diff changeset
16 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANGD_TRANSPORT_H_
anatofuz
parents:
diff changeset
19 #define LLVM_CLANG_TOOLS_EXTRA_CLANGD_TRANSPORT_H_
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 #include "llvm/ADT/StringRef.h"
anatofuz
parents:
diff changeset
22 #include "llvm/Support/JSON.h"
anatofuz
parents:
diff changeset
23 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 namespace clang {
anatofuz
parents:
diff changeset
26 namespace clangd {
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 // A transport is responsible for maintaining the connection to a client
anatofuz
parents:
diff changeset
29 // application, and reading/writing structured messages to it.
anatofuz
parents:
diff changeset
30 //
anatofuz
parents:
diff changeset
31 // Transports have limited thread safety requirements:
anatofuz
parents:
diff changeset
32 // - messages will not be sent concurrently
anatofuz
parents:
diff changeset
33 // - messages MAY be sent while loop() is reading, or its callback is active
anatofuz
parents:
diff changeset
34 class Transport {
anatofuz
parents:
diff changeset
35 public:
anatofuz
parents:
diff changeset
36 virtual ~Transport() = default;
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 // Called by Clangd to send messages to the client.
anatofuz
parents:
diff changeset
39 virtual void notify(llvm::StringRef Method, llvm::json::Value Params) = 0;
anatofuz
parents:
diff changeset
40 virtual void call(llvm::StringRef Method, llvm::json::Value Params,
anatofuz
parents:
diff changeset
41 llvm::json::Value ID) = 0;
anatofuz
parents:
diff changeset
42 virtual void reply(llvm::json::Value ID,
anatofuz
parents:
diff changeset
43 llvm::Expected<llvm::json::Value> Result) = 0;
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 // Implemented by Clangd to handle incoming messages. (See loop() below).
anatofuz
parents:
diff changeset
46 class MessageHandler {
anatofuz
parents:
diff changeset
47 public:
anatofuz
parents:
diff changeset
48 virtual ~MessageHandler() = default;
anatofuz
parents:
diff changeset
49 // Handler returns true to keep processing messages, or false to shut down.
anatofuz
parents:
diff changeset
50 virtual bool onNotify(llvm::StringRef Method, llvm::json::Value) = 0;
anatofuz
parents:
diff changeset
51 virtual bool onCall(llvm::StringRef Method, llvm::json::Value Params,
anatofuz
parents:
diff changeset
52 llvm::json::Value ID) = 0;
anatofuz
parents:
diff changeset
53 virtual bool onReply(llvm::json::Value ID,
anatofuz
parents:
diff changeset
54 llvm::Expected<llvm::json::Value> Result) = 0;
anatofuz
parents:
diff changeset
55 };
anatofuz
parents:
diff changeset
56 // Called by Clangd to receive messages from the client.
anatofuz
parents:
diff changeset
57 // The transport should in turn invoke the handler to process messages.
anatofuz
parents:
diff changeset
58 // If handler returns false, the transport should immediately exit the loop.
anatofuz
parents:
diff changeset
59 // (This is used to implement the `exit` notification).
anatofuz
parents:
diff changeset
60 // Otherwise, it returns an error when the transport becomes unusable.
anatofuz
parents:
diff changeset
61 virtual llvm::Error loop(MessageHandler &) = 0;
anatofuz
parents:
diff changeset
62 };
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 // Controls the way JSON-RPC messages are encoded (both input and output).
anatofuz
parents:
diff changeset
65 enum JSONStreamStyle {
anatofuz
parents:
diff changeset
66 // Encoding per the LSP specification, with mandatory Content-Length header.
anatofuz
parents:
diff changeset
67 Standard,
anatofuz
parents:
diff changeset
68 // Messages are delimited by a '---' line. Comment lines start with #.
anatofuz
parents:
diff changeset
69 Delimited
anatofuz
parents:
diff changeset
70 };
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 // Returns a Transport that speaks JSON-RPC over a pair of streams.
anatofuz
parents:
diff changeset
73 // The input stream must be opened in binary mode.
anatofuz
parents:
diff changeset
74 // If InMirror is set, data read will be echoed to it.
anatofuz
parents:
diff changeset
75 //
anatofuz
parents:
diff changeset
76 // The use of C-style std::FILE* input deserves some explanation.
anatofuz
parents:
diff changeset
77 // Previously, std::istream was used. When a debugger attached on MacOS, the
anatofuz
parents:
diff changeset
78 // process received EINTR, the stream went bad, and clangd exited.
anatofuz
parents:
diff changeset
79 // A retry-on-EINTR loop around reads solved this problem, but caused clangd to
anatofuz
parents:
diff changeset
80 // sometimes hang rather than exit on other OSes. The interaction between
anatofuz
parents:
diff changeset
81 // istreams and signals isn't well-specified, so it's hard to get this right.
anatofuz
parents:
diff changeset
82 // The C APIs seem to be clearer in this respect.
anatofuz
parents:
diff changeset
83 std::unique_ptr<Transport>
anatofuz
parents:
diff changeset
84 newJSONTransport(std::FILE *In, llvm::raw_ostream &Out,
anatofuz
parents:
diff changeset
85 llvm::raw_ostream *InMirror, bool Pretty,
anatofuz
parents:
diff changeset
86 JSONStreamStyle = JSONStreamStyle::Standard);
anatofuz
parents:
diff changeset
87
anatofuz
parents:
diff changeset
88 #if CLANGD_BUILD_XPC
anatofuz
parents:
diff changeset
89 // Returns a Transport for macOS based on XPC.
anatofuz
parents:
diff changeset
90 // Clangd with this transport is meant to be run as bundled XPC service.
anatofuz
parents:
diff changeset
91 std::unique_ptr<Transport> newXPCTransport();
anatofuz
parents:
diff changeset
92 #endif
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 } // namespace clangd
anatofuz
parents:
diff changeset
95 } // namespace clang
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 #endif