mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-08 08:52:12 +00:00
Arnaud Ritti
1446d5592c
Closes #1952 API 1.3 adds a diagnostics provider for unsaved documents: the host sends versioned text for the declared languages after a 300 ms debounce, cancels superseded calls, drops late or stale answers under the editor-provider budget, and clears results with the document, project or plugin. Ranges are UTF-16. Actor panics are contained, queued work is rejected after a host panic, and diagnostics arriving after plugin cleanup are discarded. Verified on macOS with the diagnostics fixture. Co-authored-by: arnaud-ritti <[email protected]>
16 lines
360 B
Plaintext
16 lines
360 B
Plaintext
package openidea:[email protected];
|
|
|
|
/// Optional diagnostics for the current, possibly unsaved document (API 1.3).
|
|
interface diagnostics-provider {
|
|
use diagnostics.{diagnostic};
|
|
|
|
record document {
|
|
path: string,
|
|
language: string,
|
|
version: u64,
|
|
text: string,
|
|
}
|
|
|
|
diagnostics: func(doc: document) -> list<diagnostic>;
|
|
}
|