waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat: handle didSave notification

This commit is contained in:
rvcas 2022-11-15 17:44:27 -05:00 committed by Lucas
parent bff99b0cf2
commit 742a5ea19b
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
crates/lsp/src/server.rs
View File

@ -9,7 +9,9 @@ use aiken_lang::{ast::ModuleKind, parser};
use aiken_project::{config, error::Error as ProjectError}; use aiken_project::{config, error::Error as ProjectError};
use lsp_server::{Connection, Message}; use lsp_server::{Connection, Message};
use lsp_types::{ use lsp_types::{
notification::{DidChangeTextDocument, Notification, PublishDiagnostics, ShowMessage}, notification::{
DidChangeTextDocument, DidSaveTextDocument, Notification, PublishDiagnostics, ShowMessage,
},
request::{Formatting, Request}, request::{Formatting, Request},
DocumentFormattingParams, InitializeParams, TextEdit, DocumentFormattingParams, InitializeParams, TextEdit,
}; };
@ -153,6 +155,13 @@ impl Server {
notification: lsp_server::Notification, notification: lsp_server::Notification,
) -> Result<(), ServerError> { ) -> Result<(), ServerError> {
match notification.method.as_str() { match notification.method.as_str() {
DidSaveTextDocument::METHOD => {
let params = cast_notification::<DidSaveTextDocument>(notification)?;
self.edited.remove(params.text_document.uri.path());
Ok(())
}
DidChangeTextDocument::METHOD => { DidChangeTextDocument::METHOD => {
let params = cast_notification::<DidChangeTextDocument>(notification)?; let params = cast_notification::<DidChangeTextDocument>(notification)?;
@ -268,7 +277,6 @@ impl Server {
/// If the Aiken diagnostic cannot be converted to LSP diagnostic (due to it /// If the Aiken diagnostic cannot be converted to LSP diagnostic (due to it
/// not having a location) it is stored as a message suitable for use with /// not having a location) it is stored as a message suitable for use with
/// the `showMessage` notification instead. /// the `showMessage` notification instead.
///
fn process_diagnostic(&mut self, error: ProjectError) -> Result<(), ServerError> { fn process_diagnostic(&mut self, error: ProjectError) -> Result<(), ServerError> {
let (severity, typ) = match error.severity() { let (severity, typ) = match error.severity() {
Some(severity) => match severity { Some(severity) => match severity {