This repository has been archived by the owner on May 7, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 15
/
nox.el
2515 lines (2287 loc) · 107 KB
/
nox.el
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
;;; nox.el --- Nox is LSP Client for Emacs -*- lexical-binding: t; -*-
;; Filename: nox.el
;; Description: Nox is LSP Client for Emacs
;; Author: João Távora <[email protected]>
;; Andy Stewart <[email protected]>
;; Maintainer: Andy Stewart <[email protected]>
;; Copyright (C) 2018, João Távora, all rights reserved.
;; Copyright (C) 2020, Andy Stewart, all rights reserved.
;; Created: 2020-03-28 16:27:25
;; Version: 0.3
;; Last-Updated: 2020-04-05 01:20:41
;; By: Andy Stewart
;; URL: http://www.emacswiki.org/emacs/download/nox.el
;; Keywords:
;; Compatibility: GNU Emacs 26.3
;;
;; Features that might be required by this library:
;;
;;
;;
;;; This file is NOT part of GNU Emacs
;;; License
;;
;; This program is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 3, or (at your option)
;; any later version.
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU General Public License for more details.
;; You should have received a copy of the GNU General Public License
;; along with this program; see the file COPYING. If not, write to
;; the Free Software Foundation, Inc., 51 Franklin Street, Fifth
;; Floor, Boston, MA 02110-1301, USA.
;;; Commentary:
;;
;; Nox is LSP Client for Emacs
;;
;;; Installation:
;;
;; Put nox.el to your load-path.
;; The load-path is usually ~/elisp/.
;; It's set in your ~/.emacs like this:
;; (add-to-list 'load-path (expand-file-name "~/elisp"))
;;
;; And the following to your ~/.emacs startup file.
;;
;; (require 'nox)
;;
;; No need more.
;;; Customize:
;;
;;
;;
;; All of the above can customize by:
;; M-x customize-group RET nox RET
;;
;;; Change log:
;;
;; 2020/04/05
;; * Fix `posframe-hide' error
;;
;; 2020/03/30
;; * Make `nox-show-doc' works with terminal environment.
;;
;; 2020/03/28
;; * First released.
;;
;;; Acknowledgements:
;;
;;
;;
;;; TODO
;;
;;
;;
;;; Require
(require 'json)
(require 'cl-lib)
(require 'project)
(require 'url-parse)
(require 'url-util)
(require 'pcase)
(require 'compile) ; for some faces
(require 'warnings)
(require 'xref)
(eval-when-compile
(require 'subr-x))
(require 'jsonrpc)
(require 'filenotify)
(require 'ert)
(require 'array)
(defvar company-backends) ; forward-declare, but don't require company
(defvar company-tooltip-align-annotations)
;;; Code:
;;; User tweakable stuff
(defgroup nox nil
"Interaction with Language Server Protocol servers"
:prefix "nox-"
:group 'applications)
(defvar nox-omni-sharp-path "~/.emacs.d/.cache/omnisharp/server/v1.34.5/OmniSharp.exe")
(defvar nox-server-programs
'((rust-mode . (nox-rls "rls"))
(python-mode . nox--python-contact)
((js-mode typescript-mode) . ("javascript-typescript-stdio"))
(sh-mode . ("bash-language-server" "start"))
((php-mode phps-mode) . nox--php-contact)
((c++-mode c-mode) . ("ccls"))
((caml-mode tuareg-mode reason-mode) . ("ocaml-language-server" "--stdio"))
(ruby-mode . ("solargraph" "socket" "--port" :autoport))
(haskell-mode . (nox-hie "hie-wrapper" "--lsp"))
(elm-mode . ("elm-language-server"))
(kotlin-mode . ("kotlin-language-server"))
(go-mode . ("gopls"))
((R-mode ess-r-mode) . ("R" "--slave" "-e" "languageserver::run()"))
(java-mode . nox--eclipse-jdt-contact)
(dart-mode . ("dart_language_server"))
(elixir-mode . ("language_server.sh"))
(ada-mode . ("ada_language_server"))
(scala-mode . ("metals-emacs"))
((tex-mode context-mode texinfo-mode bibtex-mode) . ("digestif"))
(dockerfile-mode . ("docker-langserver" "--stdio"))
(csharp-mode . (nox-omni-sharp-path "-lsp"))
(css-mode "css-languageserver" "--stdio")
(html-mode "html-languageserver" "--stdio")
(json-mode "json-languageserver" "--stdio"))
"How the command `nox' guesses the server to start.
An association list of (MAJOR-MODE . CONTACT) pairs. MAJOR-MODE
is a mode symbol, or a list of mode symbols. The associated
CONTACT specifies how to connect to a server for managing buffers
of those modes. CONTACT can be:
* In the most common case, a list of strings (PROGRAM [ARGS...]).
PROGRAM is called with ARGS and is expected to serve LSP requests
over the standard input/output channels.
* A list (HOST PORT [TCP-ARGS...]) where HOST is a string and PORT is
na positive integer number for connecting to a server via TCP.
Remaining ARGS are passed to `open-network-stream' for
upgrading the connection with encryption or other capabilities.
* A list (PROGRAM [ARGS...] :autoport [MOREARGS...]), whereby a
combination of the two previous options is used.. First, an
attempt is made to find an available server port, then PROGRAM
is launched with ARGS; the `:autoport' keyword substituted for
that number; and MOREARGS. Nox then attempts to to establish
a TCP connection to that port number on the localhost.
* A cons (CLASS-NAME . INITARGS) where CLASS-NAME is a symbol
designating a subclass of `nox-lsp-server', for representing
experimental LSP servers. INITARGS is a keyword-value plist
used to initialize CLASS-NAME, or a plain list interpreted as
the previous descriptions of CONTACT, in which case it is
converted to produce a plist with a suitable :PROCESS initarg
to CLASS-NAME. The class `nox-lsp-server' descends
`jsonrpc-process-connection', which you should see for the
semantics of the mandatory :PROCESS argument.
* A function of a single argument producing any of the above
values for CONTACT. The argument's value is non-nil if the
connection was requested interactively (e.g. from the `nox'
command), and nil if it wasn't (e.g. from `nox-ensure'). If
the call is interactive, the function can ask the user for
hints on finding the required programs, etc. Otherwise, it
should not ask the user for any input, and return nil or signal
an error if it can't produce a valid CONTACT.")
(defcustom nox-autoreconnect 3
"Control ability to reconnect automatically to the LSP server.
If t, always reconnect automatically (not recommended). If nil,
never reconnect automatically after unexpected server shutdowns,
crashes or network failures. A positive integer number says to
only autoreconnect if the previous successful connection attempt
lasted more than that many seconds."
:type '(choice (boolean :tag "Whether to inhibit autoreconnection")
(integer :tag "Number of seconds")))
(defcustom nox-connect-timeout 30
"Number of seconds before timing out LSP connection attempts.
If nil, never time out."
:type 'number)
(defcustom nox-sync-connect 3
"Control blocking of LSP connection attempts.
If t, block for `nox-connect-timeout' seconds. A positive
integer number means block for that many seconds, and then wait
for the connection in the background. nil has the same meaning
as 0, i.e. don't block at all."
:type '(choice (boolean :tag "Whether to inhibit autoreconnection")
(integer :tag "Number of seconds")))
(defcustom nox-autoshutdown nil
"If non-nil, shut down server after killing last managed buffer."
:type 'boolean)
(defcustom nox-send-changes-idle-time 0.5
"Don't tell server of changes before Emacs's been idle for this many seconds."
:type 'number)
(defcustom nox-events-buffer-size 2000000
"Control the size of the Nox events buffer.
If a number, don't let the buffer grow larger than that many
characters. If 0, don't use an event's buffer at all. If nil,
let the buffer grow forever."
:type '(choice (const :tag "No limit" nil)
(integer :tag "Number of characters")))
(defcustom nox-confirm-server-initiated-edits 'confirm
"Non-nil if server-initiated edits should be confirmed with user."
:type '(choice (const :tag "Don't show confirmation prompt" nil)
(symbol :tag "Show confirmation prompt" 'confirm)))
(defcustom nox-ignored-server-capabilites (list)
"LSP server capabilities that Nox could use, but won't.
You could add, for instance, the symbol
`:documentHighlightProvider' to prevent automatic highlighting
under cursor."
:type '(repeat
(choice
(const :tag "Documentation on hover" :hoverProvider)
(const :tag "Code completion" :completionProvider)
(const :tag "Function signature help" :signatureHelpProvider)
(const :tag "Go to definition" :definitionProvider)
(const :tag "Go to type definition" :typeDefinitionProvider)
(const :tag "Go to implementation" :implementationProvider)
(const :tag "Go to declaration" :implementationProvider)
(const :tag "Find references" :referencesProvider)
(const :tag "Highlight symbols automatically" :documentHighlightProvider)
(const :tag "List symbols in buffer" :documentSymbolProvider)
(const :tag "List symbols in workspace" :workspaceSymbolProvider)
(const :tag "Execute code actions" :codeActionProvider)
(const :tag "Code lens" :codeLensProvider)
(const :tag "Format buffer" :documentFormattingProvider)
(const :tag "Format portion of buffer" :documentRangeFormattingProvider)
(const :tag "On-type formatting" :documentOnTypeFormattingProvider)
(const :tag "Rename symbol" :renameProvider)
(const :tag "Highlight links in document" :documentLinkProvider)
(const :tag "Decorate color references" :colorProvider)
(const :tag "Fold regions of buffer" :foldingRangeProvider)
(const :tag "Execute custom commands" :executeCommandProvider)
(symbol :tag "Other"))))
(defcustom nox-doc-tooltip-font nil
"The font of documentation tooltip.
Font format follow rule: fontname-fontsize."
:type 'string)
(defcustom nox-doc-tooltip-border-width 15
"The border width of nox tooltip, default is 15 px."
:type 'integer)
(defcustom nox-doc-tooltip-timeout 30
"The timeout of nox tooltip show time, in seconds."
:type 'integer)
(defcustom nox-doc-name "*nox doc*"
"The name of nox tooltip name."
:type 'string)
(defcustom nox-candidate-annotation-limit 80
"The limit of annotation."
:type 'integer)
(defcustom nox-php-server "intelephense"
"The default server for PHP mode.
Can set with `intelephense' or `php-language-server'."
:type 'string)
(defcustom nox-python-server "mspyls"
"The default server for Python mode.
Can set with `pyls', `mspyls' or `pyright'.
If you choose `mspyls', you need execute command `nox-print-mspyls-download-url' get download url of mspyls.
Then extract the contents of the file to the directory ~/.emacs.d/nox/mspyls/ ."
:type 'string)
(defcustom nox-python-server-dir (concat user-emacs-directory
(file-name-as-directory "nox")
(file-name-as-directory "mspyls"))
"The dir to store mspyls files."
:type 'string)
;;; Constants
;;;
(defconst nox--symbol-kind-names
`((1 . "File") (2 . "Module")
(3 . "Namespace") (4 . "Package") (5 . "Class")
(6 . "Method") (7 . "Property") (8 . "Field")
(9 . "Constructor") (10 . "Enum") (11 . "Interface")
(12 . "Function") (13 . "Variable") (14 . "Constant")
(15 . "String") (16 . "Number") (17 . "Boolean")
(18 . "Array") (19 . "Object") (20 . "Key")
(21 . "Null") (22 . "EnumMember") (23 . "Struct")
(24 . "Event") (25 . "Operator") (26 . "TypeParameter")))
(defconst nox--kind-names
`((1 . "Text") (2 . "Method") (3 . "Fn") (4 . "Ctor")
(5 . "Field") (6 . "Var") (7 . "Class") (8 . "I/F")
(9 . "Mod") (10 . "Prop") (11 . "Unit") (12 . "Value")
(13 . "Enum") (14 . "K/W") (15 . "Sn") (16 . "Color")
(17 . "File") (18 . "Refer")))
(defconst nox--{} (make-hash-table) "The empty JSON object.")
;;; Message verification helpers
;;;
(eval-and-compile
(defvar nox--lsp-interface-alist
`(
(CodeAction (:title) (:kind :diagnostics :edit :command))
(ConfigurationItem () (:scopeUri :section))
(Command (:title :command) (:arguments))
(CompletionItem (:label)
(:kind :detail :documentation :deprecated :preselect
:sortText :filterText :insertText :insertTextFormat
:textEdit :additionalTextEdits :commitCharacters
:command :data))
(Diagnostic (:range :message) (:severity :code :source :relatedInformation))
(DocumentHighlight (:range) (:kind))
(FileSystemWatcher (:globPattern) (:kind))
(Hover (:contents) (:range))
(InitializeResult (:capabilities) (:serverInfo))
(Location (:uri :range))
(LogMessageParams (:type :message))
(MarkupContent (:kind :value))
(ParameterInformation (:label) (:documentation))
(Position (:line :character))
(Range (:start :end))
(Registration (:id :method) (:registerOptions))
(Registration (:id :method) (:registerOptions))
(ResponseError (:code :message) (:data))
(ShowMessageParams (:type :message))
(ShowMessageRequestParams (:type :message) (:actions))
(SignatureHelp (:signatures) (:activeSignature :activeParameter))
(SignatureInformation (:label) (:documentation :parameters))
(SymbolInformation (:name :kind :location) (:deprecated :containerName))
(TextDocumentEdit (:textDocument :edits) ())
(TextEdit (:range :newText))
(VersionedTextDocumentIdentifier (:uri :version) ())
(WorkspaceEdit () (:changes :documentChanges))
)
"Alist (INTERFACE-NAME . INTERFACE) of known external LSP interfaces.
INTERFACE-NAME is a symbol designated by the spec as
\"interface\". INTERFACE is a list (REQUIRED OPTIONAL) where
REQUIRED and OPTIONAL are lists of keyword symbols designating
field names that must be, or may be, respectively, present in a
message adhering to that interface.
Here's what an element of this alist might look like:
(CreateFile . ((:kind :uri) (:options)))"))
(eval-and-compile
(defvar nox-strict-mode (if load-file-name '()
'(disallow-non-standard-keys
))
"How strictly to check LSP interfaces at compile- and run-time.
Value is a list of symbols (if the list is empty, no checks are
performed).
If the symbol `disallow-non-standard-keys' is present, an error
is raised if any extraneous fields are sent by the server. At
compile-time, a warning is raised if a destructuring spec
includes such a field.
If the symbol `enforce-required-keys' is present, an error is
raised if any required fields are missing from the message sent
from the server. At compile-time, a warning is raised if a
destructuring spec doesn't use such a field.
If the symbol `enforce-optional-keys' is present, nothing special
happens at run-time. At compile-time, a warning is raised if a
destructuring spec doesn't use all optional fields.
If the symbol `disallow-unknown-methods' is present, Nox warns
on unknown notifications and errors on unknown requests.
"))
(defun nox--plist-keys (plist)
(cl-loop for (k _v) on plist by #'cddr collect k))
(defun nox--call-with-interface (interface object fn)
"Call FN, checking that OBJECT conforms to INTERFACE."
(when-let ((missing (and (memq 'enforce-required-keys nox-strict-mode)
(cl-set-difference (car (cdr interface))
(nox--plist-keys object)))))
(nox--error "A `%s' must have %s" (car interface) missing))
(when-let ((excess (and (memq 'disallow-non-standard-keys nox-strict-mode)
(cl-set-difference
(nox--plist-keys object)
(append (car (cdr interface)) (cadr (cdr interface)))))))
(nox--error "A `%s' mustn't have %s" (car interface) excess))
(funcall fn))
(eval-and-compile
(defun nox--keywordize-vars (vars)
(mapcar (lambda (var) (intern (format ":%s" var))) vars))
(defun nox--check-interface (interface-name vars)
(let ((interface
(assoc interface-name nox--lsp-interface-alist)))
(cond (interface
(let ((too-many
(and
(memq 'disallow-non-standard-keys nox-strict-mode)
(cl-set-difference
(nox--keywordize-vars vars)
(append (car (cdr interface))
(cadr (cdr interface))))))
(ignored-required
(and
(memq 'enforce-required-keys nox-strict-mode)
(cl-set-difference
(car (cdr interface))
(nox--keywordize-vars vars))))
(missing-out
(and
(memq 'enforce-optional-keys nox-strict-mode)
(cl-set-difference
(cadr (cdr interface))
(nox--keywordize-vars vars)))))
(when too-many (byte-compile-warn
"Destructuring for %s has extraneous %s"
interface-name too-many))
(when ignored-required (byte-compile-warn
"Destructuring for %s ignores required %s"
interface-name ignored-required))
(when missing-out (byte-compile-warn
"Destructuring for %s is missing out on %s"
interface-name missing-out))))
(t
(byte-compile-warn "Unknown LSP interface %s" interface-name))))))
(cl-defmacro nox--dbind (vars object &body body)
"Destructure OBJECT of binding VARS in BODY.
VARS is ([(INTERFACE)] SYMS...)
Honour `nox-strict-mode'."
(declare (indent 2) (debug (sexp sexp &rest form)))
(let ((interface-name (if (consp (car vars))
(car (pop vars))))
(object-once (make-symbol "object-once"))
(fn-once (make-symbol "fn-once")))
(cond (interface-name
(nox--check-interface interface-name vars)
`(let ((,object-once ,object))
(cl-destructuring-bind (&key ,@vars &allow-other-keys) ,object-once
(nox--call-with-interface (assoc ',interface-name
nox--lsp-interface-alist)
,object-once (lambda ()
,@body)))))
(t
`(let ((,object-once ,object)
(,fn-once (lambda (,@vars) ,@body)))
(if (memq 'disallow-non-standard-keys nox-strict-mode)
(cl-destructuring-bind (&key ,@vars) ,object-once
(funcall ,fn-once ,@vars))
(cl-destructuring-bind (&key ,@vars &allow-other-keys) ,object-once
(funcall ,fn-once ,@vars))))))))
(cl-defmacro nox--lambda (cl-lambda-list &body body)
"Function of args CL-LAMBDA-LIST for processing INTERFACE objects.
Honour `nox-strict-mode'."
(declare (indent 1) (debug (sexp &rest form)))
(let ((e (cl-gensym "jsonrpc-lambda-elem")))
`(lambda (,e) (nox--dbind ,cl-lambda-list ,e ,@body))))
(cl-defmacro nox--dcase (obj &rest clauses)
"Like `pcase', but for the LSP object OBJ.
CLAUSES is a list (DESTRUCTURE FORMS...) where DESTRUCTURE is
treated as in `nox-dbind'."
(declare (indent 1) (debug (sexp &rest (sexp &rest form))))
(let ((obj-once (make-symbol "obj-once")))
`(let ((,obj-once ,obj))
(cond
,@(cl-loop
for (vars . body) in clauses
for vars-as-keywords = (nox--keywordize-vars vars)
for interface-name = (if (consp (car vars))
(car (pop vars)))
for condition =
(cond (interface-name
(nox--check-interface interface-name vars)
;; In this mode, in runtime, we assume
;; `nox-strict-mode' is fully on, otherwise we
;; can't disambiguate between certain types.
`(let* ((interface
(or (assoc ',interface-name nox--lsp-interface-alist)
(nox--error "Unknown LSP interface %s"
',interface-name)))
(object-keys (nox--plist-keys ,obj-once))
(required-keys (car (cdr interface))))
(and (null (cl-set-difference required-keys object-keys))
(null (cl-set-difference
(cl-set-difference object-keys required-keys)
(cadr (cdr interface)))))))
(t
;; In this interface-less mode we don't check
;; `nox-strict-mode' at all: just check that the object
;; has all the keys the user wants to destructure.
`(null (cl-set-difference
',vars-as-keywords
(nox--plist-keys ,obj-once)))))
collect `(,condition
(cl-destructuring-bind (&key ,@vars &allow-other-keys)
,obj-once
,@body)))
(t
(nox--error "%s didn't match any of %s"
,obj-once
',(mapcar #'car clauses)))))))
;;; API (WORK-IN-PROGRESS!)
;;;
(cl-defmacro nox--with-live-buffer (buf &rest body)
"Check BUF live, then do BODY in it." (declare (indent 1) (debug t))
(let ((b (cl-gensym)))
`(let ((,b ,buf)) (if (buffer-live-p ,b) (with-current-buffer ,b ,@body)))))
(cl-defmacro nox--widening (&rest body)
"Save excursion and restriction. Widen. Then run BODY." (declare (debug t))
`(save-excursion (save-restriction (widen) ,@body)))
(cl-defgeneric nox-handle-request (server method &rest params)
"Handle SERVER's METHOD request with PARAMS.")
(cl-defgeneric nox-handle-notification (server method &rest params)
"Handle SERVER's METHOD notification with PARAMS.")
(cl-defgeneric nox-execute-command (server command arguments)
"Ask SERVER to execute COMMAND with ARGUMENTS.")
(cl-defgeneric nox-initialization-options (server)
"JSON object to send under `initializationOptions'"
(:method (_s) nil)) ; blank default
(cl-defgeneric nox-register-capability (server method id &rest params)
"Ask SERVER to register capability METHOD marked with ID."
(:method
(_s method _id &rest _params)
(nox--warn "Server tried to register unsupported capability `%s'"
method)))
(cl-defgeneric nox-unregister-capability (server method id &rest params)
"Ask SERVER to register capability METHOD marked with ID."
(:method
(_s method _id &rest _params)
(nox--warn "Server tried to unregister unsupported capability `%s'"
method)))
(cl-defgeneric nox-client-capabilities (server)
"What the NOX LSP client supports for SERVER."
(:method (_s)
(list
:workspace (list
:applyEdit t
:executeCommand `(:dynamicRegistration :json-false)
:workspaceEdit `(:documentChanges :json-false)
:didChangeWatchedFiles `(:dynamicRegistration t)
:symbol `(:dynamicRegistration :json-false)
:configuration t)
:textDocument
(list
:synchronization (list
:dynamicRegistration :json-false
:willSave t :willSaveWaitUntil t :didSave t)
:completion (list :dynamicRegistration :json-false
:completionItem
`(:snippetSupport :json-false)
:contextSupport t)
:hover (list :dynamicRegistration :json-false
:contentFormat ["markdown" "plaintext"])
:signatureHelp (list :dynamicRegistration :json-false
:signatureInformation
`(:parameterInformation
(:labelOffsetSupport t)))
:references `(:dynamicRegistration :json-false)
:definition `(:dynamicRegistration :json-false)
:declaration `(:dynamicRegistration :json-false)
:implementation `(:dynamicRegistration :json-false)
:typeDefinition `(:dynamicRegistration :json-false)
:documentSymbol (list
:dynamicRegistration :json-false
:symbolKind `(:valueSet
[,@(mapcar
#'car nox--symbol-kind-names)]))
:documentHighlight `(:dynamicRegistration :json-false)
:codeAction (list
:dynamicRegistration :json-false
:codeActionLiteralSupport
'(:codeActionKind
(:valueSet [])))
:formatting `(:dynamicRegistration :json-false)
:rangeFormatting `(:dynamicRegistration :json-false)
:rename `(:dynamicRegistration :json-false)
:publishDiagnostics `(:relatedInformation :json-false))
:experimental (list))))
(defclass nox-lsp-server (jsonrpc-process-connection)
((project-nickname
:documentation "Short nickname for the associated project."
:accessor nox--project-nickname
:reader nox-project-nickname)
(major-mode
:documentation "Major mode symbol."
:accessor nox--major-mode)
(capabilities
:documentation "JSON object containing server capabilities."
:accessor nox--capabilities)
(server-info
:documentation "JSON object containing server info."
:accessor nox--server-info)
(shutdown-requested
:documentation "Flag set when server is shutting down."
:accessor nox--shutdown-requested)
(project
:documentation "Project associated with server."
:accessor nox--project)
(spinner
:documentation "List (ID DOING-WHAT DONE-P) representing server progress."
:initform `(nil nil t) :accessor nox--spinner)
(inhibit-autoreconnect
:initform t
:documentation "Generalized boolean inhibiting auto-reconnection if true."
:accessor nox--inhibit-autoreconnect)
(file-watches
:documentation "Map ID to list of WATCHES for `didChangeWatchedFiles'."
:initform (make-hash-table :test #'equal) :accessor nox--file-watches)
(managed-buffers
:documentation "List of buffers managed by server."
:accessor nox--managed-buffers)
(saved-initargs
:documentation "Saved initargs for reconnection purposes."
:accessor nox--saved-initargs)
(inferior-process
:documentation "Server subprocess started automatically."
:accessor nox--inferior-process))
:documentation
"Represents a server. Wraps a process for LSP communication.")
;;; Process management
(defvar nox--servers-by-project (make-hash-table :test #'equal)
"Keys are projects. Values are lists of processes.")
(defun nox-shutdown (server &optional _interactive timeout preserve-buffers)
"Politely ask SERVER to quit.
Interactively, read SERVER from the minibuffer unless there is
only one and it's managing the current buffer.
Forcefully quit it if it doesn't respond within TIMEOUT seconds.
Don't leave this function with the server still running.
If PRESERVE-BUFFERS is non-nil (interactively, when called with a
prefix argument), do not kill events and output buffers of
SERVER. ."
(interactive (list (nox--read-server "Shutdown which server"
(nox-current-server))
t nil current-prefix-arg))
(nox--message "Asking %s politely to terminate" (jsonrpc-name server))
(unwind-protect
(progn
(setf (nox--shutdown-requested server) t)
(jsonrpc-request server :shutdown nil :timeout (or timeout 1.5))
(jsonrpc-notify server :exit nil))
;; Now ask jsonrpc.el to shut down the server.
(jsonrpc-shutdown server (not preserve-buffers))
(unless preserve-buffers (kill-buffer (jsonrpc-events-buffer server)))))
(defun nox--on-shutdown (server)
"Called by jsonrpc.el when SERVER is already dead."
;; Turn off `nox--managed-mode' where appropriate.
(dolist (buffer (nox--managed-buffers server))
(let (;; Avoid duplicate shutdowns (github#389)
(nox-autoshutdown nil))
(nox--with-live-buffer buffer (nox--managed-mode-off))))
;; Kill any expensive watches
(maphash (lambda (_id watches)
(mapcar #'file-notify-rm-watch watches))
(nox--file-watches server))
;; Kill any autostarted inferior processes
(when-let (proc (nox--inferior-process server))
(delete-process proc))
;; Sever the project/server relationship for `server'
(setf (gethash (nox--project server) nox--servers-by-project)
(delq server
(gethash (nox--project server) nox--servers-by-project)))
(cond ((nox--shutdown-requested server)
t)
((not (nox--inhibit-autoreconnect server))
(nox--warn "Reconnecting after unexpected server exit.")
(nox-reconnect server))
((timerp (nox--inhibit-autoreconnect server))
(nox--warn "Not auto-reconnecting, last one didn't last long."))))
(defun nox--all-major-modes ()
"Return all known major modes."
(let ((retval))
(mapatoms (lambda (sym)
(when (plist-member (symbol-plist sym) 'derived-mode-parent)
(push sym retval))))
retval))
(defvar nox--command-history nil
"History of CONTACT arguments to `nox'.")
(defun nox--guess-contact (&optional interactive)
"Helper for `nox'.
Return (MANAGED-MODE PROJECT CLASS CONTACT). If INTERACTIVE is
non-nil, maybe prompt user, else error as soon as something can't
be guessed."
(let* ((guessed-mode (if buffer-file-name major-mode))
(managed-mode
(cond
((and interactive
(or (>= (prefix-numeric-value current-prefix-arg) 16)
(not guessed-mode)))
(intern
(completing-read
"[nox] Start a server to manage buffers of what major mode? "
(mapcar #'symbol-name (nox--all-major-modes)) nil t
(symbol-name guessed-mode) nil (symbol-name guessed-mode) nil)))
((not guessed-mode)
(nox--error "Can't guess mode to manage for `%s'" (current-buffer)))
(t guessed-mode)))
(project (or (project-current) `(transient . ,default-directory)))
(guess (cdr (assoc managed-mode nox-server-programs
(lambda (m1 m2)
(cl-find
m2 (if (listp m1) m1 (list m1))
:test #'provided-mode-derived-p)))))
(guess (if (functionp guess)
(funcall guess interactive)
guess))
(class (or (and (consp guess) (symbolp (car guess))
(prog1 (car guess) (setq guess (cdr guess))))
'nox-lsp-server))
(program (and (listp guess) (stringp (car guess)) (car guess)))
(base-prompt
(and interactive
"Enter program to execute (or <host>:<port>): "))
(program-guess
(and program
(combine-and-quote-strings (cl-subst ":autoport:"
:autoport guess))))
(prompt
(and base-prompt
(cond (current-prefix-arg base-prompt)
((null guess)
(format "[nox] Sorry, couldn't guess for `%s'!\n%s"
managed-mode base-prompt))
((and program (not (executable-find program)))
(concat (format "[nox] I guess you want to run `%s'"
program-guess)
(format ", but I can't find `%s' in PATH!" program)
"\n" base-prompt)))))
(contact
(or (and prompt
(let ((s (read-shell-command
prompt
program-guess
'nox-command-history)))
(if (string-match "^\\([^\s\t]+\\):\\([[:digit:]]+\\)$"
(string-trim s))
(list (match-string 1 s)
(string-to-number (match-string 2 s)))
(cl-subst
:autoport ":autoport:" (split-string-and-unquote s)
:test #'equal))))
guess
(nox--error "Couldn't guess for `%s'!" managed-mode))))
(list managed-mode project class contact)))
;;;###autoload
(defun nox (managed-major-mode project class contact &optional interactive)
"Manage a project with a Language Server Protocol (LSP) server.
The LSP server of CLASS started (or contacted) via CONTACT. If
this operation is successful, current *and future* file buffers
of MANAGED-MAJOR-MODE inside PROJECT automatically become
\"managed\" by the LSP server, meaning information about their
contents is exchanged periodically to provide enhanced
code-analysis via `xref-find-definitions',
`completion-at-point', among others.
Interactively, the command attempts to guess MANAGED-MAJOR-MODE
from current buffer, CLASS and CONTACT from
`nox-server-programs' and PROJECT from `project-current'. If
it can't guess, the user is prompted. With a single
\\[universal-argument] prefix arg, it always prompt for COMMAND.
With two \\[universal-argument] prefix args, also prompts for
MANAGED-MAJOR-MODE.
PROJECT is a project instance as returned by `project-current'.
CLASS is a subclass of symbol `nox-lsp-server'.
CONTACT specifies how to contact the server. It is a
keyword-value plist used to initialize CLASS or a plain list as
described in `nox-server-programs', which see.
INTERACTIVE is t if called interactively."
(interactive (append (nox--guess-contact t) '(t)))
(let* ((current-server (nox-current-server))
(live-p (and current-server (jsonrpc-running-p current-server))))
(if (and live-p
interactive
(y-or-n-p "[nox] Live process found, reconnect instead? "))
(nox-reconnect current-server interactive)
(when live-p (ignore-errors (nox-shutdown current-server)))
(nox--connect managed-major-mode project class contact))))
(defun nox-reconnect (server &optional interactive)
"Reconnect to SERVER.
INTERACTIVE is t if called interactively."
(interactive (list (nox--current-server-or-lose) t))
(when (jsonrpc-running-p server)
(ignore-errors (nox-shutdown server interactive nil 'preserve-buffers)))
(nox--connect (nox--major-mode server)
(nox--project server)
(eieio-object-class-name server)
(nox--saved-initargs server))
(nox--message "Reconnected!"))
(defvar nox--managed-mode) ; forward decl
;;;###autoload
(defun nox-ensure ()
"Start Nox session for current buffer if there isn't one."
(let ((buffer (current-buffer)))
(cl-labels
((maybe-connect
()
(remove-hook 'post-command-hook #'maybe-connect nil)
(nox--with-live-buffer buffer
(unless nox--managed-mode
(apply #'nox--connect (nox--guess-contact))))))
(when buffer-file-name
(add-hook 'post-command-hook #'maybe-connect 'append nil)
))))
(defun nox-events-buffer (server)
"Display events buffer for SERVER."
(interactive (list (nox--current-server-or-lose)))
(display-buffer (jsonrpc-events-buffer server)))
(defun nox-stderr-buffer (server)
"Display stderr buffer for SERVER."
(interactive (list (nox--current-server-or-lose)))
(display-buffer (jsonrpc-stderr-buffer server)))
(defun nox-forget-pending-continuations (server)
"Forget pending requests for SERVER."
(interactive (list (nox--current-server-or-lose)))
(jsonrpc-forget-pending-continuations server))
(defvar nox-connect-hook nil "Hook run after connecting in `nox--connect'.")
(defvar nox-server-initialized-hook
'(nox-signal-didChangeConfiguration)
"Hook run after server is successfully initialized.
Each function is passed the server as an argument")
(defun nox--connect (managed-major-mode project class contact)
"Connect to MANAGED-MAJOR-MODE, PROJECT, CLASS and CONTACT.
This docstring appeases checkdoc, that's all."
(let* ((default-directory (car (project-roots project)))
(nickname (file-name-base (directory-file-name default-directory)))
(readable-name (format "NOX (%s/%s)" nickname managed-major-mode))
autostart-inferior-process
(contact (if (functionp contact) (funcall contact) contact))
(initargs
(cond ((keywordp (car contact)) contact)
((integerp (cadr contact))
`(:process ,(lambda ()
(apply #'open-network-stream
readable-name nil
(car contact) (cadr contact)
(cddr contact)))))
((and (stringp (car contact)) (memq :autoport contact))
`(:process ,(lambda ()
(pcase-let ((`(,connection . ,inferior)
(nox--inferior-bootstrap
readable-name
contact)))
(setq autostart-inferior-process inferior)
connection))))
((stringp (car contact))
`(:process
,(lambda ()
(let ((default-directory default-directory))
(make-process
:name readable-name
:command contact
:connection-type 'pipe
:coding 'utf-8-emacs-unix
:noquery t
:stderr (get-buffer-create
(format "*%s stderr*" readable-name)))))))))
(spread (lambda (fn) (lambda (server method params)
(apply fn server method (append params nil)))))
(server
(apply
#'make-instance class
:name readable-name
:events-buffer-scrollback-size nox-events-buffer-size
:notification-dispatcher (funcall spread #'nox-handle-notification)
:request-dispatcher (funcall spread #'nox-handle-request)
:on-shutdown #'nox--on-shutdown
initargs))
(cancelled nil)
(tag (make-symbol "connected-catch-tag")))
(setf (nox--saved-initargs server) initargs)
(setf (nox--project server) project)
(setf (nox--project-nickname server) nickname)
(setf (nox--major-mode server) managed-major-mode)
(setf (nox--inferior-process server) autostart-inferior-process)
;; Now start the handshake. To honour `nox-sync-connect'
;; maybe-sync-maybe-async semantics we use `jsonrpc-async-request'
;; and mimic most of `jsonrpc-request'.
(unwind-protect
(condition-case _quit
(let ((retval
(catch tag
(jsonrpc-async-request
server
:initialize
(list :processId (unless (eq (jsonrpc-process-type server)
'network)
(emacs-pid))
:rootPath (expand-file-name default-directory)
:rootUri (nox--path-to-uri default-directory)
:initializationOptions (nox-initialization-options server)
:capabilities (nox-client-capabilities server))
:success-fn
(nox--lambda ((InitializeResult) capabilities serverInfo)
(unless cancelled
(push server
(gethash project nox--servers-by-project))
(setf (nox--capabilities server) capabilities)
(setf (nox--server-info server) serverInfo)
(jsonrpc-notify server :initialized nox--{})
(dolist (buffer (buffer-list))
(with-current-buffer buffer
;; No need to pass SERVER as an argument: it has
;; been registered in `nox--servers-by-project',
;; so that it can be found (and cached) from
;; `nox--maybe-activate-editing-mode' in any
;; managed buffer.
(nox--maybe-activate-editing-mode)))
(setf (nox--inhibit-autoreconnect server)
(cond
((booleanp nox-autoreconnect)
(not nox-autoreconnect))
((cl-plusp nox-autoreconnect)
(run-with-timer
nox-autoreconnect nil
(lambda ()
(setf (nox--inhibit-autoreconnect server)
(null nox-autoreconnect)))))))
(let ((default-directory (car (project-roots project)))
(major-mode managed-major-mode))
(hack-dir-local-variables-non-file-buffer)
(run-hook-with-args 'nox-connect-hook server)
(run-hook-with-args 'nox-server-initialized-hook server))
(nox--message "Connected server with project: %s" (nox-project-nickname server))
(when tag (throw tag t))))
:timeout nox-connect-timeout
:error-fn (nox--lambda ((ResponseError) code message)
(unless cancelled
(jsonrpc-shutdown server)
(let ((msg (format "%s: %s" code message)))
(if tag (throw tag `(error . ,msg))
(nox--error msg)))))
:timeout-fn (lambda ()
(unless cancelled
(jsonrpc-shutdown server)
(let ((msg (format "Timed out")))
(if tag (throw tag `(error . ,msg))
(nox--error msg))))))