更新定义匹配

1 files changed, 137 insertions, 0 deletions

diff --git a/server/src/matcher/definition.lua b/server/src/matcher/definition.lua
index 52084807..e5ab178d 100644
--- a/server/src/matcher/definition.lua
+++ b/server/src/matcher/definition.lua
@@ -1,3 +1,140 @@
+local env = require 'matcher.env'
+local mt = {}
+mt.__index = mt
+
+function mt:isContainPos(obj)
+    return obj.start <= self.pos and obj.finish >= self.pos
+end
+
+function mt:checkName(name)
+    if self:isContainPos(name) then
+        return self.env.var[name]
+    else
+        return nil
+    end
+end
+
+function mt:checkDots(dots)
+    if self:isContainPos(dots) then
+        return self.env.dots
+    else
+        return nil
+    end
+end
+
+function mt:searchCall(call)
+    for _, exp in ipairs(call) do
+        local result = searchExp(exp)
+        if result then
+            return result
+        end
+    end
+    return nil
+end
+
+function mt:searchSimple(simple)
+    local result = self:checkName(simple[1])
+    if result then
+        return result
+    end
+    for i = 2, #simple do
+        local obj = simple[i]
+        local tp = obj.type
+        if     tp == 'call' then
+            result = self:searchCall(obj)
+        elseif tp == ':' then
+        else
+            if obj.index then
+                result = self:searchExp(obj)
+            end
+        end
+        if result then
+            return result
+        end
+    end
+    return nil
+end
+
+function mt:searchBinary(exp)
+    return self:searchExp(exp[1]) or self:searchExp(exp[2])
+end
+
+function mt:searchUnary(exp)
+    return self:searchExp(exp[1])
+end
+
+function mt:searchExp(exp)
+    local tp = exp.type
+    local result
+    if     tp == 'nil' then
+    elseif tp == 'string' then
+    elseif tp == 'boolean' then
+    elseif tp == 'number' then
+    elseif tp == 'name' then
+        result = self:checkName(exp)
+    elseif tp == 'simple' then
+        result = self:searchSimple(exp)
+    elseif tp == 'binary' then
+        result = self:searchBinary(exp)
+    elseif tp == 'unary' then
+        result = self:searchUnary(exp)
+    elseif tp == '...' then
+        result = self:checkDots(exp)
+    elseif tp == 'function' then
+    elseif tp == 'table' then
+    end
+    return result
+end
+
+function mt:searchReturn(action)
+    local exps = action[1]
+    if not exps then
+        return nil
+    end
+    for _, exp in ipairs(exps) do
+        local result = self:searchExp(exp)
+        if result then
+            return result
+        end
+    end
+    return nil
+end
+
+function mt:checkThenSearchActionsIn(actions)
+    if self:isContainPos(actions) then
+        return self:searchActionsIn(actions)
+    else
+        return nil
+    end
+end
+
+function mt:searchAction(action)
+    local tp = action.type
+    local result
+    if     tp == 'do' then
+        result = self:checkThenSearchActionsIn(action)
+    elseif tp == 'break' then
+    elseif tp == 'return' then
+        result = self:searchReturn(action)
+    end
+    return result
+end
+
+function mt:searchActionsIn(actions)
+    for _, action in ipairs(actions) do
+        local result = self:searchAction(action)
+        if result then
+            return result
+        end
+    end
+    return nil
+end
+
 return function (ast, pos)
+    local searcher = setmetatable({
+        pos = pos,
+        env = env {var = {}, usable = {}},
+    }, mt)
+    searcher:searchActionsIn(ast)
     return false
 end