Merge branch 'master' into ib/report_parse_error_file

Author: IanButterworth

src/LanguageServer.jl

@@ -28,6 +28,7 @@ include("requests/workspace.jl")
 include("requests/actions.jl")
 include("requests/init.jl")
 include("requests/signatures.jl")
+include("requests/highlight.jl")
 include("utilities.jl")
 
 end

src/languageserverinstance.jl

@@ -303,6 +303,7 @@ function Base.run(server::LanguageServerInstance)
     msg_dispatcher[textDocument_references_request_type] = request_wrapper(textDocument_references_request, server)
     msg_dispatcher[textDocument_rename_request_type] = request_wrapper(textDocument_rename_request, server)
     msg_dispatcher[textDocument_documentSymbol_request_type] = request_wrapper(textDocument_documentSymbol_request, server)
+    msg_dispatcher[textDocument_documentHighlight_request_type] = request_wrapper(textDocument_documentHighlight_request, server)
     msg_dispatcher[julia_getModuleAt_request_type] = request_wrapper(julia_getModuleAt_request, server)
     msg_dispatcher[julia_getDocAt_request_type] = request_wrapper(julia_getDocAt_request, server)
     msg_dispatcher[textDocument_hover_request_type] = request_wrapper(textDocument_hover_request, server)

src/protocol/messagedefs.jl

@@ -6,6 +6,7 @@ const textDocument_formatting_request_type = JSONRPC.RequestType("textDocument/f
 const textDocument_references_request_type = JSONRPC.RequestType("textDocument/references", ReferenceParams, Vector{Location})
 const textDocument_rename_request_type = JSONRPC.RequestType("textDocument/rename", RenameParams, WorkspaceEdit)
 const textDocument_documentSymbol_request_type = JSONRPC.RequestType("textDocument/documentSymbol", DocumentSymbolParams, Vector{SymbolInformation})
+const textDocument_documentHighlight_request_type = JSONRPC.RequestType("textDocument/documentHighlight", DocumentHighlightParams, Vector{DocumentHighlight})
 const textDocument_hover_request_type = JSONRPC.RequestType("textDocument/hover", TextDocumentPositionParams, Hover)
 const textDocument_didOpen_notification_type = JSONRPC.NotificationType("textDocument/didOpen", DidOpenTextDocumentParams)
 const textDocument_didClose_notification_type = JSONRPC.NotificationType("textDocument/didClose", DidCloseTextDocumentParams)

src/requests/highlight.jl

@@ -0,0 +1,17 @@
+function textDocument_documentHighlight_request(params::DocumentHighlightParams, server::LanguageServerInstance, conn)
+    doc = getdocument(server, URI2(params.textDocument.uri))
+    offset = get_offset(doc, params.position)
+    identifier = get_identifier(getcst(doc), offset)
+    identifier !== nothing || return nothing
+    highlights = DocumentHighlight[]
+    if StaticLint.hasref(identifier) && refof(identifier) isa StaticLint.Binding
+        for ref in refof(identifier).refs
+            doc1, o = get_file_loc(ref)
+            if ref isa EXPR && doc1._uri == doc._uri
+                kind = StaticLint.hasbinding(ref) ? DocumentHighlightKinds.Write : DocumentHighlightKinds.Read
+                push!(highlights, DocumentHighlight(Range(doc, o .+ (0:ref.span)), kind))
+            end
+        end
+    end
+    return isempty(highlights) ? nothing : highlights
+end

src/requests/init.jl

@@ -12,7 +12,7 @@ const serverCapabilities = ServerCapabilities(
     false,
     false,
     true,
-    false,
+    true,
     true,
     true,
     missing,