josh/django-language-server
1
0
Fork 0
mirror of https://github.com/joshuadavidthomas/django-language-server.git synced 2025-09-08 11:20:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: Add diagnostics publishing for document changes

Browse source
This commit is contained in:
Josh Thomas 2025-01-07 11:47:25 -06:00
parent 1d1f4f6c0f
commit 8f448508d0
1 changed files with 16 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/djls-server/src/documents.rs
View file

@ -23,7 +23,7 @@ impl Store {
}
}
pub fn handle_did_open(&mut self, params: DidOpenTextDocumentParams) -> Result<()> {
pub fn handle_did_open(&mut self, params: DidOpenTextDocumentParams, client: &Client) -> Result<()> {
let document = TextDocument::new(
String::from(params.text_document.uri),
params.text_document.text,
@ -32,11 +32,22 @@ impl Store {
);
self.add_document(document);
self.publish_diagnostics(&params.text_document.uri, client);
Ok(())
}
pub fn handle_did_change(&mut self, params: DidChangeTextDocumentParams) -> Result<()> {
pub fn publish_diagnostics(&self, uri: &str, client: &Client) {
if let Some(document) = self.get_document(uri) {
let diagnostics = Diagnostics::generate_for_document(document);
client.publish_diagnostics(
Url::parse(uri).unwrap(),
diagnostics,
Some(document.version),
);
}
}
pub fn handle_did_change(&mut self, params: DidChangeTextDocumentParams, client: &Client) -> Result<()> {
let uri = params.text_document.uri.as_str().to_string();
let version = params.text_document.version;
@ -54,7 +65,8 @@ impl Store {
}
document.version = version;
self.versions.insert(uri, version);
self.versions.insert(uri.clone(), version);
self.publish_diagnostics(&uri, client);
Ok(())
}