更新诊断实现

3 files changed, 133 insertions, 10 deletions

diff --git a/server-beta/src/core/diagnostics/global-in-nil-env.lua b/server-beta/src/core/diagnostics/global-in-nil-env.lua
index a19a341f..72375ea5 100644
--- a/server-beta/src/core/diagnostics/global-in-nil-env.lua
+++ b/server-beta/src/core/diagnostics/global-in-nil-env.lua
@@ -40,14 +40,25 @@ return function (uri, callback)
                 local mode, pathA = guide.getPath(nilDef, source)
                 if  mode == 'before'
                 and mayRun(pathA) then
-                    callback {
-                        start   = source.start,
-                        finish  = source.finish,
-                        uri     = uri,
-                        message = lang.script.DIAG_GLOBAL_IN_NIL_ENV,
-                    }
+                    ok = nilDef
+                    break
                 end
             end
+            if ok then
+                callback {
+                    start   = source.start,
+                    finish  = source.finish,
+                    uri     = uri,
+                    message = lang.script.DIAG_GLOBAL_IN_NIL_ENV,
+                    relative = {
+                        {
+                            start  = ok.start,
+                            finish = ok.finish,
+                            uri    = uri,
+                        }
+                    }
+                }
+            end
         end
     end
 
diff --git a/server-beta/src/core/diagnostics/newline-call.lua b/server-beta/src/core/diagnostics/newline-call.lua
index b3d19c21..52b84197 100644
--- a/server-beta/src/core/diagnostics/newline-call.lua
+++ b/server-beta/src/core/diagnostics/newline-call.lua
@@ -1,3 +1,38 @@
-return function ()
-    
+local files = require 'files'
+local guide = require 'parser.guide'
+local lang  = require 'language'
+
+return function (uri, callback)
+    local ast = files.getAst(uri)
+    if not ast then
+        return
+    end
+    local lines = files.getLines(uri)
+
+    guide.eachSourceType(ast.ast, 'call', function (source)
+        local node = source.node
+        local args = source.args
+        if not args then
+            return
+        end
+
+        -- 必须有其他人在继续使用当前对象
+        if not source.next then
+            return
+        end
+
+        local nodeRow = guide.positionOf(lines, node.start)
+        local argRow  = guide.positionOf(lines, args.start)
+        if nodeRow == argRow then
+            return
+        end
+
+        if #args == 1 then
+            callback {
+                start   = args.start,
+                finish  = args.finish,
+                message = lang.script.DIAG_PREVIOUS_CALL,
+            }
+        end
+    end)
 end
diff --git a/server-beta/src/core/diagnostics/redundant-parameter.lua b/server-beta/src/core/diagnostics/redundant-parameter.lua
index b3d19c21..c087197c 100644
--- a/server-beta/src/core/diagnostics/redundant-parameter.lua
+++ b/server-beta/src/core/diagnostics/redundant-parameter.lua
@@ -1,3 +1,80 @@
-return function ()
-    
+local files    = require 'files'
+local guide    = require 'parser.guide'
+local searcher = require 'searcher'
+local lang     = require 'language'
+local define   = require 'proto.define'
+
+local function packCallArgs(source)
+    if not source.args then
+        return nil
+    end
+    local result = {}
+    if source.node and source.node.type == 'getmethod' then
+        result[#result+1] = source.node.node
+    end
+    for _, arg in ipairs(source.args) do
+        result[#result+1] = arg
+    end
+    return result
+end
+
+local function packFuncArgs(source)
+    if not source.args then
+        return nil
+    end
+    local result = {}
+    if source.parent and source.parent.type == 'setmethod' then
+        result[#result+1] = source.parent.node
+    end
+    for _, arg in ipairs(source.args) do
+        result[#result+1] = arg
+    end
+    return result
+end
+
+return function (uri, callback)
+    local ast = files.getAst(uri)
+    if not ast then
+        return
+    end
+
+    guide.eachSourceType(ast.ast, 'call', function (source)
+        local callArgs = packCallArgs(source)
+        if not callArgs then
+            return
+        end
+
+        local func = source.node
+        local funcArgs
+        searcher.eachRef(func, function (info)
+            if info.mode == 'value' then
+                local src = info.source
+                if src.type == 'function' then
+                    local args = packFuncArgs(src)
+                    if args and (not funcArgs or #funcArgs < #args) then
+                        funcArgs = args
+                    end
+                end
+            end
+        end)
+
+        if not funcArgs then
+            return
+        end
+
+        local lastArg = funcArgs[#funcArgs]
+        if lastArg and lastArg.type == '...' then
+            return
+        end
+
+        for i = #funcArgs + 1, #callArgs do
+            local arg = callArgs[i]
+            callback {
+                start   = arg.start,
+                finish  = arg.finish,
+                tags    = { define.DiagnosticTag.Unnecessary },
+                message = lang.script('DIAG_OVER_MAX_ARGS', #funcArgs, #callArgs)
+            }
+        end
+    end)
 end