-
-
Notifications
You must be signed in to change notification settings - Fork 139
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
LSP: Add Go To Definition support for
Ast::ModuleAccess
- Loading branch information
Showing
19 changed files
with
1,086 additions
and
30 deletions.
There are no files selected for viewing
83 changes: 83 additions & 0 deletions
83
spec/language_server/definition/location_link/module_access_component_constant
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,83 @@ | ||
| global component Header { | ||
| const TITLE = "Mint" | ||
|
|
||
| fun render : Html { | ||
| <div/> | ||
| } | ||
| } | ||
| ----------------------------------------------------------------file header.mint | ||
| component Test { | ||
| fun render : Html { | ||
| <div> | ||
| <{ Header:TITLE }> | ||
| </div> | ||
| } | ||
| } | ||
| ------------------------------------------------------------------file test.mint | ||
| { | ||
| "id": 0, | ||
| "method": "initialize", | ||
| "params": { | ||
| "capabilities": { | ||
| "textDocument": { | ||
| "definition": { | ||
| "linkSupport": true | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "id": 1, | ||
| "params": { | ||
| "textDocument": { | ||
| "uri": "file://#{root_path}/test.mint" | ||
| }, | ||
| "position": { | ||
| "line": 3, | ||
| "character": 16 | ||
| } | ||
| }, | ||
| "method": "textDocument/definition" | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "result": { | ||
| "originSelectionRange": { | ||
| "start": { | ||
| "line": 3, | ||
| "character": 16 | ||
| }, | ||
| "end": { | ||
| "line": 3, | ||
| "character": 21 | ||
| } | ||
| }, | ||
| "targetUri": "file://#{root_path}/header.mint", | ||
| "targetRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 2 | ||
| }, | ||
| "end": { | ||
| "line": 1, | ||
| "character": 22 | ||
| } | ||
| }, | ||
| "targetSelectionRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 8 | ||
| }, | ||
| "end": { | ||
| "line": 1, | ||
| "character": 13 | ||
| } | ||
| } | ||
| }, | ||
| "id": 1 | ||
| } | ||
| ------------------------------------------------------------------------response |
81 changes: 81 additions & 0 deletions
81
spec/language_server/definition/location_link/module_access_component_function
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,81 @@ | ||
| global component Header { | ||
| fun render : Html { | ||
| <div/> | ||
| } | ||
| } | ||
| ----------------------------------------------------------------file header.mint | ||
| component Test { | ||
| fun render : Html { | ||
| <div> | ||
| <{ Header.render() }> | ||
| </div> | ||
| } | ||
| } | ||
| ------------------------------------------------------------------file test.mint | ||
| { | ||
| "id": 0, | ||
| "method": "initialize", | ||
| "params": { | ||
| "capabilities": { | ||
| "textDocument": { | ||
| "definition": { | ||
| "linkSupport": true | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "id": 1, | ||
| "params": { | ||
| "textDocument": { | ||
| "uri": "file://#{root_path}/test.mint" | ||
| }, | ||
| "position": { | ||
| "line": 3, | ||
| "character": 16 | ||
| } | ||
| }, | ||
| "method": "textDocument/definition" | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "result": { | ||
| "originSelectionRange": { | ||
| "start": { | ||
| "line": 3, | ||
| "character": 16 | ||
| }, | ||
| "end": { | ||
| "line": 3, | ||
| "character": 22 | ||
| } | ||
| }, | ||
| "targetUri": "file://#{root_path}/header.mint", | ||
| "targetRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 2 | ||
| }, | ||
| "end": { | ||
| "line": 3, | ||
| "character": 3 | ||
| } | ||
| }, | ||
| "targetSelectionRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 6 | ||
| }, | ||
| "end": { | ||
| "line": 1, | ||
| "character": 12 | ||
| } | ||
| } | ||
| }, | ||
| "id": 1 | ||
| } | ||
| ------------------------------------------------------------------------response |
85 changes: 85 additions & 0 deletions
85
spec/language_server/definition/location_link/module_access_component_gets
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,85 @@ | ||
| global component Header { | ||
| get title : String { | ||
| "Mint" | ||
| } | ||
|
|
||
| fun render : Html { | ||
| <div/> | ||
| } | ||
| } | ||
| ----------------------------------------------------------------file header.mint | ||
| component Test { | ||
| fun render : Html { | ||
| <div> | ||
| <{ Header.title }> | ||
| </div> | ||
| } | ||
| } | ||
| ------------------------------------------------------------------file test.mint | ||
| { | ||
| "id": 0, | ||
| "method": "initialize", | ||
| "params": { | ||
| "capabilities": { | ||
| "textDocument": { | ||
| "definition": { | ||
| "linkSupport": true | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "id": 1, | ||
| "params": { | ||
| "textDocument": { | ||
| "uri": "file://#{root_path}/test.mint" | ||
| }, | ||
| "position": { | ||
| "line": 3, | ||
| "character": 16 | ||
| } | ||
| }, | ||
| "method": "textDocument/definition" | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "result": { | ||
| "originSelectionRange": { | ||
| "start": { | ||
| "line": 3, | ||
| "character": 16 | ||
| }, | ||
| "end": { | ||
| "line": 3, | ||
| "character": 21 | ||
| } | ||
| }, | ||
| "targetUri": "file://#{root_path}/header.mint", | ||
| "targetRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 2 | ||
| }, | ||
| "end": { | ||
| "line": 5, | ||
| "character": 2 | ||
| } | ||
| }, | ||
| "targetSelectionRange": { | ||
| "start": { | ||
| "line": 1, | ||
| "character": 6 | ||
| }, | ||
| "end": { | ||
| "line": 1, | ||
| "character": 11 | ||
| } | ||
| } | ||
| }, | ||
| "id": 1 | ||
| } | ||
| ------------------------------------------------------------------------response |
81 changes: 81 additions & 0 deletions
81
spec/language_server/definition/location_link/module_access_component_name
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,81 @@ | ||
| global component Header { | ||
| fun render : Html { | ||
| <div/> | ||
| } | ||
| } | ||
| ----------------------------------------------------------------file header.mint | ||
| component Test { | ||
| fun render : Html { | ||
| <div> | ||
| <{ Header.render() }> | ||
| </div> | ||
| } | ||
| } | ||
| ------------------------------------------------------------------file test.mint | ||
| { | ||
| "id": 0, | ||
| "method": "initialize", | ||
| "params": { | ||
| "capabilities": { | ||
| "textDocument": { | ||
| "definition": { | ||
| "linkSupport": true | ||
| } | ||
| } | ||
| } | ||
| } | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "id": 1, | ||
| "params": { | ||
| "textDocument": { | ||
| "uri": "file://#{root_path}/test.mint" | ||
| }, | ||
| "position": { | ||
| "line": 3, | ||
| "character": 9 | ||
| } | ||
| }, | ||
| "method": "textDocument/definition" | ||
| } | ||
| -------------------------------------------------------------------------request | ||
| { | ||
| "jsonrpc": "2.0", | ||
| "result": { | ||
| "originSelectionRange": { | ||
| "start": { | ||
| "line": 3, | ||
| "character": 9 | ||
| }, | ||
| "end": { | ||
| "line": 3, | ||
| "character": 15 | ||
| } | ||
| }, | ||
| "targetUri": "file://#{root_path}/header.mint", | ||
| "targetRange": { | ||
| "start": { | ||
| "line": 0, | ||
| "character": 0 | ||
| }, | ||
| "end": { | ||
| "line": 4, | ||
| "character": 1 | ||
| } | ||
| }, | ||
| "targetSelectionRange": { | ||
| "start": { | ||
| "line": 0, | ||
| "character": 17 | ||
| }, | ||
| "end": { | ||
| "line": 0, | ||
| "character": 23 | ||
| } | ||
| } | ||
| }, | ||
| "id": 1 | ||
| } | ||
| ------------------------------------------------------------------------response |
Oops, something went wrong.