Skip to content

Commit

Permalink
ink! analyzer (phase 2) - milestone 6
Browse files Browse the repository at this point in the history
  • Loading branch information
davidsemakula committed Jan 17, 2024
1 parent 54be90b commit 31e4568
Showing 1 changed file with 33 additions and 0 deletions.
33 changes: 33 additions & 0 deletions deliveries/ink-analyzer-phase-2-milestone-6.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
# Milestone Delivery :mailbox:

**The delivery is according to the official [milestone delivery guidelines](https://github.com/w3f/Grants-Program/blob/master/docs/Support%20Docs/milestone-deliverables-guidelines.md).**

* **Application Document:** [ink! Analyzer (Phase 2)](https://github.com/w3f/Grants-Program/blob/master/applications/ink-analyzer-phase-2.md)
* **Milestone Number:** 6

**Context** (optional)

This delivery is for the [LSP (Language Server Protocol) implementation](https://github.com/ink-analyzer/ink-analyzer/tree/master/crates/lsp-server) of [semantic analyzer](https://github.com/ink-analyzer/ink-analyzer/tree/master/crates/analyzer) features that were delivered and evaluated in milestones 3 ([PR](https://github.com/w3f/Grant-Milestone-Delivery/pull/1072), [delivery](https://github.com/w3f/Grant-Milestone-Delivery/blob/master/deliveries/ink-analyzer-phase-2-milestone-3.md) and [evaluation](https://github.com/w3f/Grant-Milestone-Delivery/blob/master/evaluations/ink-analyzer-phase-2_3_keeganquigley.md)) and 4 ([PR](https://github.com/w3f/Grant-Milestone-Delivery/pull/1097)).

Please see the [README](https://github.com/ink-analyzer/ink-analyzer#readme) for additional architectural details.

**Deliverables**

| Number | Deliverable | Link | Notes |
|---------|-------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| **0a.** | License | [MIT](https://github.com/ink-analyzer/ink-analyzer/blob/master/LICENSE-MIT) or [Apache 2.0](https://github.com/ink-analyzer/ink-analyzer/blob/master/LICENSE-APACHE). | Dual-licensed under either of MIT or Apache 2.0 licenses at the downstream user's option. |
| **0b.** | Documentation | [Project README](https://github.com/ink-analyzer/ink-analyzer#readme), [language server (ink-lsp-server) crate README](https://github.com/ink-analyzer/ink-analyzer/tree/master/crates/lsp-server#readme) on GitHub (and [crates.io](https://crates.io/crates/ink-lsp-server)), [language server (ink-lsp-server) crate rustdoc](https://docs.rs/ink-lsp-server/latest/ink_lsp_server/) library documentation on docs.rs and extensive inline source documentation. | The language server's README is published on both [GitHub](https://github.com/ink-analyzer/ink-analyzer/tree/master/crates/lsp-server#readme) and [crates.io](https://crates.io/crates/ink-lsp-server). It contains instructions for installation and usage, and links to crate's associated library documentation on docs.rs. |
| **0c.** | Testing and Testing Guide | [Testing guide](https://github.com/ink-analyzer/ink-analyzer#testing). | Unit tests are defined in each respective module (e.g. [dispatch/actions](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/actions.rs#L40-L80), [dispatch/handlers/request](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/handlers/request.rs#L257-L513), [dispatch/handlers/notification](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/handlers/notification.rs#L56-L177) e.t.c), while integration tests are found in the [tests directory of the language server (ink-lsp-server) crate](https://github.com/ink-analyzer/ink-analyzer/tree/lsp-server-v0.2.22/crates/lsp-server/tests) (e.g. [tests/diagnostics](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/tests/diagnostics.rs), [tests/actions](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/tests/actions.rs) e.t.c) with related fixtures (where applicable) found in [test-utils/fixtures](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/test-utils/src/fixtures.rs). Checking out the [parse_offset_at](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/test-utils/src/lib.rs#L57-L88) utility may be useful as it is extensively used in both the unit and integration tests. All features in this milestone can also be manually tested using the latest version of the [VS Code Extension](https://marketplace.visualstudio.com/items?itemName=ink-analyzer.ink-analyzer). For instructions for manual feature testing, please refer to the [VS Code extension's "Manual Feature Testing Guide"](https://github.com/ink-analyzer/ink-vscode/blob/master/TESTING.md). |
| **0d.** | Docker | [Dockerfile](https://github.com/ink-analyzer/ink-analyzer/blob/master/Dockerfile). | |
| 1. | Language Server: Rust binary crate: ink! Language Server updates for semantic analyzer features from milestones 3 and 4 | [GitHub repository](https://github.com/ink-analyzer/ink-analyzer), [Language server crate (ink-lsp-server)](https://crates.io/crates/ink-lsp-server). | At the highest level, features are implemented as dispatch actions (e.g. [diagnostics](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/actions.rs)) or request handlers (e.g. [code actions, completions, inlay hints, signature help, commands e.t.c](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/handlers/request.rs)) under the [dispatch](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch.rs) module, which implements the main loop for dispatching LSP requests and notifications and handling responses. Server initialization logic and setting/negotiating of capabilities is implemented in the [initialize](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/initialize.rs) module, while translation between analyzer and LSP types is implemented in the [translator](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/translator.rs) module. NOTE: Quickfixes are returned by the [code actions handler](https://github.com/ink-analyzer/ink-analyzer/blob/lsp-server-v0.2.22/crates/lsp-server/src/dispatch/handlers/request.rs#L86-L117) as they're a [code action kind](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#codeActionKind) in LSP. |

**Additional Information**

Please use the [lsp-server-v0.2.22](https://github.com/ink-analyzer/ink-analyzer/releases/tag/lsp-server-v0.2.22) tag for testing.

You can checkout the tag locally as follows:

```shell
git fetch --all --tags
git checkout tags/lsp-server-v0.2.22 -b lsp-server-v0.2.22
```

0 comments on commit 31e4568

Please sign in to comment.