2020-01-03 09:19:16 +03:00
|
|
|
|%
|
|
|
|
|
::
|
|
|
|
|
+$ versioned-doc-id
|
2020-01-13 08:27:42 +03:00
|
|
|
[uri=@t version=(unit @)]
|
2020-01-03 09:19:16 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
++ request
|
|
|
|
|
|%
|
|
|
|
|
+$ all
|
|
|
|
|
$%
|
|
|
|
|
text-document--hover
|
|
|
|
|
unknown
|
|
|
|
|
==
|
|
|
|
|
+$ text-document--hover
|
|
|
|
|
[%text-document--hover id=cord position versioned-doc-id]
|
|
|
|
|
+$ unknown
|
|
|
|
|
[%unknown json]
|
|
|
|
|
--
|
2020-01-03 09:19:16 +03:00
|
|
|
++ response
|
2020-01-03 15:04:53 +03:00
|
|
|
|%
|
|
|
|
|
+$ all
|
|
|
|
|
$%
|
2020-01-13 08:27:42 +03:00
|
|
|
text-document--hover
|
2020-01-03 15:04:53 +03:00
|
|
|
==
|
2020-01-13 08:27:42 +03:00
|
|
|
+$ text-document--hover
|
|
|
|
|
[%text-document--hover id=cord contents=(unit @t)]
|
2020-01-08 03:41:29 +03:00
|
|
|
--
|
2020-01-03 09:19:16 +03:00
|
|
|
::
|
2020-01-03 15:04:53 +03:00
|
|
|
+$ diagnostic
|
|
|
|
|
[=range severity=@ud message=@t]
|
|
|
|
|
::
|
2020-01-03 09:19:16 +03:00
|
|
|
+$ position
|
|
|
|
|
[row=@ud col=@ud]
|
|
|
|
|
::
|
|
|
|
|
+$ text-document-item
|
2020-01-13 08:27:42 +03:00
|
|
|
[uri=@t version=(unit @) text=@t]
|
2020-01-03 09:19:16 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
++ notification
|
2020-01-03 09:19:16 +03:00
|
|
|
|%
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
+$ in
|
2020-01-03 09:19:16 +03:00
|
|
|
$%
|
|
|
|
|
text-document--did-change
|
|
|
|
|
text-document--did-open
|
2020-01-08 03:41:29 +03:00
|
|
|
text-document--did-save
|
|
|
|
|
text-document--did-close
|
|
|
|
|
exit
|
2020-01-03 15:04:53 +03:00
|
|
|
unknown
|
2020-01-03 09:19:16 +03:00
|
|
|
==
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
+$ out
|
|
|
|
|
$%
|
|
|
|
|
text-document--publish-diagnostics
|
|
|
|
|
==
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
+$ all
|
|
|
|
|
$%
|
|
|
|
|
out
|
|
|
|
|
in
|
|
|
|
|
==
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-03 09:19:16 +03:00
|
|
|
+$ text-document--did-change
|
|
|
|
|
[%text-document--did-change versioned-doc-id changes=(list change)]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-03 09:19:16 +03:00
|
|
|
+$ text-document--did-open
|
|
|
|
|
[%text-document--did-open text-document-item]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-08 03:41:29 +03:00
|
|
|
+$ text-document--did-save
|
|
|
|
|
[%text-document--did-save versioned-doc-id]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-08 03:41:29 +03:00
|
|
|
+$ text-document--did-close
|
|
|
|
|
[%text-document--did-close versioned-doc-id]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-08 03:41:29 +03:00
|
|
|
+$ exit
|
|
|
|
|
[%exit ~]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-03 15:04:53 +03:00
|
|
|
+$ unknown
|
2020-01-13 08:27:42 +03:00
|
|
|
[%unknown =json]
|
2020-01-20 06:19:08 +03:00
|
|
|
::
|
2020-01-13 08:27:42 +03:00
|
|
|
+$ text-document--publish-diagnostics
|
|
|
|
|
[%text-document--publish-diagnostics uri=@t diagnostics=(list diagnostic)]
|
|
|
|
|
::
|
2020-01-03 09:19:16 +03:00
|
|
|
--
|
|
|
|
|
::
|
|
|
|
|
+$ change
|
|
|
|
|
$: range=(unit range)
|
|
|
|
|
range-length=(unit @ud)
|
|
|
|
|
text=@t
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
+$ range
|
|
|
|
|
$: start=position
|
|
|
|
|
end=position
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
--
|
