add missing parameter check

Author: CppCXY

crates/code_analysis/src/diagnostic/checker/missing_parameter.rs

@@ -0,0 +1,60 @@
+use emmylua_parser::{LuaAstNode, LuaAstToken, LuaCallExpr, LuaGeneralToken};
+
+use crate::{DiagnosticCode, SemanticModel};
+
+use super::DiagnosticContext;
+
+pub const CODES: &[DiagnosticCode] = &[DiagnosticCode::MissingParameter];
+
+pub fn check(context: &mut DiagnosticContext, semantic_model: &mut SemanticModel) -> Option<()> {
+    let root = semantic_model.get_root().clone();
+    for call_expr in root.descendants::<LuaCallExpr>() {
+        check_call_expr(context, semantic_model, call_expr);
+    }
+
+    Some(())
+}
+
+fn check_call_expr(
+    context: &mut DiagnosticContext,
+    semantic_model: &mut SemanticModel,
+    call_expr: LuaCallExpr,
+) -> Option<()> {
+    let func = semantic_model.infer_call_expr_func(call_expr.clone(), None)?;
+    let params = func.get_params();
+    let args_count = call_expr.get_args_list()?.get_args().count();
+    if args_count < params.len() {
+        let mut miss_parameter_info = Vec::new();
+        for i in args_count..params.len() {
+            let param_info = params.get(i)?;
+            if param_info.0 == "..." {
+                break;
+            }
+
+            let typ = param_info.1.clone();
+            if typ.is_none() || !typ.unwrap().is_optional() {
+                miss_parameter_info.push(t!("missing parameter: %{name}", name = param_info.0));
+            }
+        }
+
+        let right_paren = call_expr
+            .get_args_list()?
+            .tokens::<LuaGeneralToken>()
+            .last()?;
+        if !miss_parameter_info.is_empty() {
+            context.add_diagnostic(
+                DiagnosticCode::MissingParameter,
+                right_paren.get_range(),
+                t!(
+                    "expected %{num} but founded %{found_num}.\n%{infos}",
+                    num = params.len(),
+                    found_num = args_count,
+                    infos = miss_parameter_info.join("\n")
+                ).to_string(),
+                None,
+            );
+        }
+    }
+
+    Some(())
+}

crates/code_analysis/src/diagnostic/checker/mod.rs

@@ -4,6 +4,7 @@ mod unused;
 mod deprecated;
 mod undefined_global;
 mod access_invisible;
+mod missing_parameter;
 
 use lsp_types::{Diagnostic, DiagnosticSeverity, DiagnosticTag, NumberOrString};
 use rowan::TextRange;
@@ -34,6 +35,7 @@ pub fn check_file(context: &mut DiagnosticContext, semantic_model:&mut SemanticM
     check!(deprecated);
     check!(undefined_global);
     check!(access_invisible);
+    check!(missing_parameter);
 
     Some(())
 }