add diagnostic interval config

Author: CppCXY

crates/code_analysis/src/config/configs/diagnostics.rs

@@ -28,6 +28,8 @@ pub struct EmmyrcDiagnostic {
     /// A list of diagnostic codes that are enabled.
     #[serde(default)]
     pub enables: Vec<DiagnosticCode>,
+    /// The interval in milliseconds to perform diagnostics.
+    pub diagnostic_interval: Option<u64>,
 }
 
 impl Default for EmmyrcDiagnostic {
@@ -39,6 +41,7 @@ impl Default for EmmyrcDiagnostic {
             globals_regex: Vec::new(),
             severity: HashMap::new(),
             enables: Vec::new(),
+            diagnostic_interval: Some(500),
         }
     }
 }

crates/emmylua_ls/src/context/file_diagnostic.rs

@@ -44,14 +44,16 @@ impl FileDiagnostic {
         drop(tokens); // free the lock
 
         let analysis = self.analysis.clone();
+        let emmyrc = analysis.read().await.get_emmyrc();
+        let interval = emmyrc.diagnostics.diagnostic_interval.unwrap_or(500);
         let client = self.client.clone();
         let diagnostic_tokens = self.diagnostic_tokens.clone();
         let file_id_clone = file_id.clone();
 
         // Spawn a new task to perform diagnostic
         tokio::spawn(async move {
             tokio::select! {
-                _ = tokio::time::sleep(Duration::from_millis(500)) => {
+                _ = tokio::time::sleep(Duration::from_millis(interval)) => {
                     let analysis = analysis.read().await;
                     if let Some(uri) = analysis.get_uri(file_id_clone) {
                         let diagnostics = analysis.diagnose_file(file_id_clone, cancel_token).await;

resources/schema.json

@@ -36,6 +36,7 @@
     },
     "diagnostics": {
       "default": {
+        "diagnosticInterval": 500,
         "disable": [],
         "enable": true,
         "enables": [],
@@ -413,6 +414,15 @@
       "description": "Represents the diagnostic configuration for Emmyrc.",
       "type": "object",
       "properties": {
+        "diagnosticInterval": {
+          "description": "The interval in milliseconds to perform diagnostics.",
+          "type": [
+            "integer",
+            "null"
+          ],
+          "format": "uint64",
+          "minimum": 0.0
+        },
         "disable": {
           "description": "A list of diagnostic codes that are disabled.",
           "default": [],