sync to LuaHelper with commit: c578578

Author: lalawue

luahelper-lsp/langserver/check/analysis/analysis.go

@@ -1,11 +1,11 @@
 package analysis
 
 import (
-	"fmt"
 	"luahelper-lsp/langserver/check/common"
 	"luahelper-lsp/langserver/check/projects"
 	"luahelper-lsp/langserver/check/results"
 	"luahelper-lsp/langserver/log"
+	"sync"
 )
 
 // IgnoreInfo 忽略的信息
@@ -60,6 +60,9 @@ type Analysis struct {
 	extMark string
 }
 
+// 注解互斥锁
+var mutex sync.Mutex
+
 // CreateAnalysis 创建一个分析的结构
 func CreateAnalysis(checkTerm results.CheckTerm, entryFile string) *Analysis {
 	return &Analysis{
@@ -120,90 +123,8 @@ func (a *Analysis) enterScope() {
 // 出一个scope
 func (a *Analysis) exitScope() {
 	a.curFunc.ExitScope()
-
-	// 如果是一轮校验，判断是否要校验局部变量是否定义未使用
-	if !a.isFirstTerm() || a.realTimeFlag {
-		return
-	}
-
-	// 判断是否开启了局部变量定义了是否未使用的告警
-	if common.GConfig.IsGlobalIgnoreErrType(common.CheckErrorLocalNoUse) {
-		return
-	}
-
-	scope := a.curScope
-	if scope == nil {
-		return
-	}
-
-	fileResult := a.curResult
-
-	// 扫描当前scope，判断哪些局部变量定义了未使用
-	for varName, varInfoList := range scope.LocVarMap {
-		// _ 局部变量忽略, _G也忽略
-		if varName == "_" || varName == "_G" {
-			continue
-		}
-
-		// class/struct/extension 中的 super / Self / Super 忽略
-		if a.curScope.ExtMark == "class" && (varName == "__st" || varName == "Self" || varName == "Super") {
-			continue
-		}
-
-		if common.GConfig.IsIgnoreLocNotUseVar(varName) {
-			// 如果为系统忽略的局部变量定义了，未使用的，忽略掉
-			continue
-		}
-
-		for _, oneVar := range varInfoList.VarVec {
-			if oneVar.IsUse || oneVar.IsClose {
-				continue
-			}
-
-			// 定义的局部函数忽略
-			if oneVar.ReferFunc != nil {
-				continue
-			}
-
-			// 判断指向的关联变量，是否为系统的函数或模块
-			// 例如 local math = math 这样的忽略掉
-			expName := common.GetExpName(oneVar.ReferExp)
-
-			// 1) 判断是否直接关联到的系统模块或函数
-			oneStr := common.GetExpSubKey(expName)
-			if oneStr != "" {
-				if common.GConfig.IsInSysNotUseMap(oneStr) {
-					// 为系统的模块或函数名，忽略掉
-					continue
-				}
-			}
-
-			// 2) 判断是否关联到系统模块的成员， 例如：local concat = table.concat
-			flagG, strRet := common.StrRemovePreG(expName)
-			if flagG {
-				expName = "!" + strRet
-			}
-			moduleName, keyName := common.GetTableStrTwoStr(expName)
-			if moduleName != "" && keyName != "" {
-				if common.GConfig.IsInSysNotUseMap(moduleName) {
-					// 为系统的模块或函数名，忽略掉
-					continue
-				}
-			}
-
-			errorStr := fmt.Sprintf("%s declared and not used", varName)
-			fileResult.InsertError(common.CheckErrorLocalNoUse, errorStr, oneVar.Loc)
-
-			// 遍历所有的定义了未使用，只是简单的赋值
-			for _, subVar := range oneVar.NoUseAssignLocs {
-				errorStr := fmt.Sprintf("%s declared and not used, this just assign", varName)
-				fileResult.InsertError(common.CheckErrorNoUseAssign, errorStr, subVar)
-			}
-
-			// 清除掉
-			oneVar.NoUseAssignLocs = nil
-		}
-	}
+	a.checkLocVarCall()
+	a.checkLocFuncCall()
 }
 
 // 向分析的单个工程中，添加全局定义的变量

luahelper-lsp/langserver/check/analysis/analysis_check_func.go

@@ -7,7 +7,7 @@ import (
 	"strings"
 )
 
-//函数调用处的参数类型检查
+// 函数调用处的参数类型检查
 func (a *Analysis) funcCallParamTypeCheck(node *ast.FuncCallStat, referFunc *common.FuncInfo, findTerm int) {
 
 	// 第二轮或第三轮函数参数check
@@ -33,7 +33,10 @@ func (a *Analysis) funcCallParamTypeCheck(node *ast.FuncCallStat, referFunc *com
 			break
 		}
 
+		mutex.Lock()
 		allAnnTypeVec, ok := referFunc.ParamType[referFunc.ParamList[i]]
+		mutex.Unlock()
+
 		if !ok {
 			//该参数没写注解
 			continue

luahelper-lsp/langserver/check/analysis/analysis_search.go

@@ -1031,7 +1031,7 @@ func (a *Analysis) ChangeSelfToReferVar(strTable string, prefixStr string) (str
 	} else {
 		// 获取第一轮的结构，因为此时RelateVar的结构还没有构造，只能查找第一轮的数据
 		fileStruct, _ := a.Projects.GetFirstFileStuct(fileResult.Name)
-		if fileStruct == nil {
+		if fileStruct == nil || fileStruct.FileResult == nil {
 			return
 		}
 

luahelper-lsp/langserver/check/analysis/analysis_util.go

@@ -14,7 +14,9 @@ func (a *Analysis) findVarDefine(varName string, varLoc lexer.Location) (find bo
 	if find {
 		if varInfo.IsParam {
 			// 如果是函数参数 同时返回参数类型
+			mutex.Lock()
 			varType, ok := a.curFunc.ParamType[varName]
+			mutex.Unlock()
 			if ok {
 				return find, varInfo, varType
 			}
@@ -138,7 +140,7 @@ func (a *Analysis) findVarDefineWithPre(preName string, varName string, preLoc l
 	return find, varInfo, false, varType
 }
 
-//GetAnnTypeByExp 获取表达式类型字符串，如果是引用，则递归查找，(即支持类型传递)
+// GetAnnTypeByExp 获取表达式类型字符串，如果是引用，则递归查找，(即支持类型传递)
 func (a *Analysis) GetAnnTypeByExp(referExp ast.Exp, idx int) (retVec []string) {
 	expType := common.GetExpType(referExp)
 	argType := common.GetAnnTypeFromLuaType(expType)
@@ -283,16 +285,17 @@ func (a *Analysis) loadFuncParamAnnType(referFunc *common.FuncInfo) {
 	paramTypeMap := a.Projects.GetFuncParamType(referFunc.FileName, referFunc.Loc.StartLine-1)
 	if len(paramTypeMap) > 0 {
 		//从函数上方获取到了注解
+		mutex.Lock()
 		for _, paramName := range referFunc.ParamList {
 			if annTypeVec, ok := paramTypeMap[paramName]; ok {
 				referFunc.ParamType[paramName] = []string{}
 				for _, annTypeOne := range annTypeVec {
 					typeOne := annotateast.GetAstTypeName(annTypeOne)
 					referFunc.ParamType[paramName] = append(referFunc.ParamType[paramName], typeOne)
-
 				}
 			}
 		}
+		mutex.Unlock()
 
 		//继续获取返回值注解
 		referFunc.ReturnType = a.Projects.GetFuncReturnTypeVec(referFunc.FileName, referFunc.Loc.StartLine-1)
@@ -314,7 +317,11 @@ func (a *Analysis) loadFuncParamAnnType(referFunc *common.FuncInfo) {
 		}
 
 		// 根据注解找成员函数
-		referFunc.ParamType = a.Projects.GetFuncParamTypeByClass(classTypeStr, referFunc.FuncName)
+		params := a.Projects.GetFuncParamTypeByClass(classTypeStr, referFunc.FuncName)
+		mutex.Lock()
+		referFunc.ParamType = params
+		mutex.Unlock()
+
 		referFunc.ReturnType = a.Projects.GetFuncReturnTypeByClass(classTypeStr, referFunc.FuncName)
 
 		return

luahelper-lsp/langserver/lsp_cmd_run.go

@@ -54,7 +54,8 @@ func (l *LspServer) RunLocalDiagnostices(localpath string) {
 
 	for file, info := range fileErrorMap {
 		for _, errinfo := range info {
-			fmt.Printf("%v`%v`%v\n", file, errinfo.Loc.StartLine, errinfo.ErrStr)
+			fmt.Printf("%v, line=%v, errType=%v, errStr=%s\n", file, errinfo.Loc.StartLine, (int)(errinfo.ErrType),
+				errinfo.ErrStr)
 		}
 	}
 }

luahelper-lsp/langserver/lsp_server.go

@@ -128,12 +128,12 @@ func CreateServer() *jrpc2.Server {
 	return lspServer.server
 }
 
-//getAllProject 获取CheckProject
+// getAllProject 获取CheckProject
 func (g *LspServer) getAllProject() *check.AllProject {
 	return g.project
 }
 
-//getFileCache 获取文件缓冲map
+// getFileCache 获取文件缓冲map
 func (g *LspServer) getFileCache() *lspcommon.FileMapCache {
 	return g.fileCache
 }

luahelper-lsp/main.go

@@ -56,7 +56,7 @@ func main() {
 	}
 }
 
-//cmd 的方式运行rpc
+// cmd 的方式运行rpc
 func cmdRPC() {
 	log.Debug("local stat running ....")
 	Server := langserver.CreateServer()