修改参数诊断

Author: CppCXY

EmmyLua-Common/src/main/java/com/tang/intellij/lua/editor/completion/EmitterOverloadProvider.kt

@@ -37,15 +37,18 @@ class EmitterOverloadProvider : LuaCompletionProvider() {
                 callExpr.guessParentType(searchContext).let { parentType ->
                     parentType.each { ty ->
                         if (ty is ITyFunction) {
-                            ty.process(Processor { sig ->
-                                sig.params.firstOrNull()?.let {
-                                    val paramType = it.ty
-                                    if (paramType is TyStringLiteral) {
-                                        addOverload(psi, paramType, sig, completionResultSet)
+                            val firstParam = ty.mainSignature.params.firstOrNull()
+                            if(firstParam != null && firstParam.ty.subTypeOf(Ty.STRING, searchContext, true)) {
+                                ty.process(Processor { sig ->
+                                    sig.params.firstOrNull()?.let {
+                                        val paramType = it.ty
+                                        if (paramType is TyStringLiteral) {
+                                            addOverload(psi, paramType, sig, completionResultSet)
+                                        }
                                     }
-                                }
-                                true
-                            })
+                                    true
+                                })
+                            }
                         }
                     }
                 }

EmmyLua-LS/src/main/kotlin/com/tang/vscode/diagnostics/inspections/FunctionInspection.kt

@@ -40,8 +40,8 @@ object FunctionInspection {
                         sig.params.forEach { pi ->
                             val param = paramMap[index]
                             if (param != null) {
-                                val paramType = param.guessType(context)
                                 if (!paramTypeCheck(pi, param, context)) {
+                                    val paramType = param.guessType(context)
                                     val pDeclaredType = pi.ty
                                     val diagnostic = Diagnostic()
                                     diagnostic.message = if (pDeclaredType is TyClass && pDeclaredType.isInterface) {
@@ -121,6 +121,16 @@ object FunctionInspection {
             if (isUnionCheckPass) {
                 return true
             }
+        } else if (defineType is TyClass && defineType.isEnum(context.project, context)) {
+            val superClass = defineType.getSuperClass(context)
+            return if (superClass != null) {
+                variableType.subTypeOf(superClass, context, true)
+            } else {
+                false
+            }
+        }
+        else if(defineType is TyStringLiteral){
+            return true
         }
 
         return variableType.subTypeOf(defineType, context, true)