整理代码

1 files changed, 0 insertions, 1457 deletions

diff --git a/server/src/core/vm.lua b/server/src/core/vm.lua
deleted file mode 100644
index 66fdd2c6..00000000
--- a/server/src/core/vm.lua
+++ /dev/null
@@ -1,1457 +0,0 @@
-local env = require 'core.env'
-local library = require 'core.library'
-local createValue = require 'core.value'
-
-local LibraryValue = {}
-local LibraryChild = {}
-
-local mt = {}
-mt.__index = mt
-
-function mt:getDefaultSource()
-    return {
-        start = 0,
-        finish = 0,
-        uri = self.chunk.func.uri,
-    }
-end
-
-function mt:createDummyVar(source, value)
-    if source and source.bind then
-        return source.bind
-    end
-    local loc = {
-        type = 'local',
-        key = '',
-        source = source or self:getDefaultSource(),
-    }
-
-    if source then
-        source.bind = loc
-        self.results.sources[#self.results.sources+1] = source
-        source.isLocal = true
-    end
-
-    self:setValue(loc, value, source)
-    return loc
-end
-
-function mt:createLocal(key, source, value)
-    if source and source.bind then
-        self.scope.locals[key] = source.bind
-        return source.bind
-    end
-    local loc = {
-        type = 'local',
-        key = key,
-        source = source or self:getDefaultSource(),
-        close = self.scope.block.finish,
-    }
-
-    if source then
-        source.bind = loc
-        self.results.sources[#self.results.sources+1] = source
-        source.isLocal = true
-        source.uri = self.chunk.func.uri
-    end
-
-    local shadow = self.scope.locals[key]
-    if shadow then
-        if source then
-            shadow.close = source.start - 1
-        end
-        local group
-        if shadow.shadow then
-            group = shadow.shadow
-        else
-            group = { shadow }
-            shadow.shadow = group
-        end
-        group[#group+1] = loc
-        loc.shadow = group
-    end
-
-    self.scope.locals[key] = loc
-    self.results.locals[#self.results.locals+1] = loc
-
-    if source then
-        self:addInfo(loc, 'local', source, value)
-        if value then
-            value:addInfo('local', source)
-        end
-    end
-    self:setValue(loc, value, source)
-    return loc
-end
-
-function mt:createField(value, index, source)
-    if source and source.bind then
-        return source.bind
-    end
-    local field = value:createField(index, source)
-    if source then
-        source.bind = field
-        self.results.sources[#self.results.sources+1] = source
-    end
-    if value.GLOBAL then
-        field.GLOBAL = true
-    end
-    if self.lsp and self:isGlobal(field) then
-        self.lsp.global:markSet(self.chunk.func.uri)
-    end
-    field.parentValue = value
-
-    return field
-end
-
-function mt:getField(value, index, source)
-    local field = value:getField(index, source)
-    if not field then
-        return nil
-    end
-    if source then
-        source.bind = field
-        self.results.sources[#self.results.sources+1] = source
-    end
-    if value.GLOBAL then
-        field.GLOBAL = true
-    end
-    if self.lsp and self:isGlobal(field) then
-        self.lsp.global:markGet(self.chunk.func.uri)
-    end
-
-    return field
-end
-
-function mt:createArg(key, source, value)
-    local loc = self:createLocal(key, source, value)
-    if source then
-        source.isArg = true
-    end
-    return loc
-end
-
-function mt:scopePush(block)
-    if not block.start then
-        error('Scope push without start!')
-    end
-    self.scope:push()
-    self.scope.block = block
-end
-
-function mt:scopePop()
-    self.scope:pop()
-end
-
-function mt:addInfo(var, type, source, value)
-    if not source then
-        error('Miss source')
-    end
-    if not source.start then
-        error('Miss start: ' .. table.dump(source))
-    end
-    if var.type ~= 'local' and var.type ~= 'field' and var.type ~= 'label' then
-        error('Must be local, field or label: ' .. table.dump(var))
-    end
-    local info = {
-        type = type,
-        source = source or self:getDefaultSource(),
-        value = value,
-    }
-    if not self.results.infos[var] then
-        self.results.infos[var] = {}
-    end
-    self.results.infos[var][#self.results.infos[var]+1] = info
-end
-
-function mt:eachInfo(var, callback)
-    if not self.results.infos[var] then
-        return nil
-    end
-    for _, info in ipairs(self.results.infos[var]) do
-        local res = callback(info)
-        if res ~= nil then
-            return res
-        end
-    end
-    return nil
-end
-
-function mt:createDots(index, source)
-    local dots = {
-        type = 'dots',
-        source = source or self:getDefaultSource(),
-        func = self:getCurrentFunction(),
-        index = index,
-    }
-    self.chunk.dots = dots
-    return dots
-end
-
-function mt:buildTable(source)
-    local tbl = self:createValue('table', source)
-    if not source then
-        return tbl
-    end
-    local n = 0
-    for index, obj in ipairs(source) do
-        if obj.type == 'pair' then
-            local value = self:getExp(obj[2])
-            local key   = obj[1]
-            key.uri = self.chunk.func.uri
-            if key.index then
-                local index = self:getIndex(key)
-                local field = self:createField(tbl, index, key)
-                if value.type == 'list' then
-                    self:setValue(field, value[1], key)
-                else
-                    self:setValue(field, value, key)
-                end
-            else
-                if key.type == 'name' then
-                    local field = self:createField(tbl, key[1], key)
-                    key.isIndex = true
-                    if value.type == 'list' then
-                        self:setValue(field, value[1], key)
-                    else
-                        self:setValue(field, value, key)
-                    end
-                end
-            end
-        else
-            local value = self:getExp(obj)
-            if value.type == 'list' then
-                if index == #source then
-                    for i, v in ipairs(value) do
-                        local field = self:createField(tbl, n + i)
-                        self:setValue(field, v)
-                    end
-                else
-                    n = n + 1
-                    local field = self:createField(tbl, n)
-                    self:setValue(field, value[1])
-                end
-            else
-                n = n + 1
-                local field = self:createField(tbl, n)
-                self:setValue(field, value)
-            end
-            -- 处理写了一半的 key = value，把name类的数组元素视为哈希键
-            if obj.type == 'name' then
-                obj.isIndex = true
-            end
-        end
-    end
-    return tbl
-end
-
-function mt:setValue(var, value, source)
-    if value and value.type == 'list' then
-        error('Cant set value list')
-    end
-    value = value or self:createValue('any', source)
-    if source and source.start then
-        self:addInfo(var, 'set', source, value)
-        value:addInfo('set', source)
-    end
-    if var.GLOBAL then
-        value.GLOBAL = true
-    end
-    var.value = value
-    return value
-end
-
-function mt:getValue(var, source)
-    if not var.value then
-        var.value = self:createValue('any', source or self:getDefaultSource())
-        if var.GLOBAL then
-            var.value.GLOBAL = true
-        end
-    end
-    return var.value
-end
-
-function mt:isGlobal(field)
-    return field.GLOBAL == true
-end
-
-function mt:callLeftFuncions()
-    for _, func in ipairs(self.results.funcs) do
-        if func.built and not func.runed then
-            self:runFunction(func)
-        end
-    end
-end
-
-function mt:runFunction(func)
-    func.runed = (func.runed or 0) + 1
-    if func.runed > 1 then
-        --return
-    end
-    self:scopePush(func.built)
-    self.chunk:push()
-    self.chunk:cut 'dots'
-    self.chunk:cut 'labels'
-    self.chunk:cut 'locals'
-    self.chunk.func = func
-
-    self.scope:cut 'locals'
-    for name, loc in pairs(func.upvalues) do
-        self.scope.locals[name] = loc
-    end
-
-    local index = 0
-    if func.object then
-        local var = self:createArg('self', func.colon, self:getValue(func.object, func.colon))
-        var.hide = true
-        var.link = func.object
-        if func.argValues[1] then
-            self:setValue(var, func.argValues[1])
-        end
-        index = 1
-        func.args[index] = var
-    end
-
-    local stop
-    self:forList(func.built.arg, function (arg)
-        if stop then
-            return
-        end
-        index = index + 1
-        if arg.type == 'name' then
-            local var = self:createArg(arg[1], arg)
-            self:setValue(var, func.argValues[index] or self:createValue('nil'))
-            func.args[index] = var
-        elseif arg.type == '...' then
-            local dots = self:createDots(index, arg)
-            for i = index, #func.argValues do
-                dots[#dots+1] = func.argValues[i]
-            end
-            func.hasDots = true
-            stop = true
-        end
-    end)
-
-    self:doActions(func.built)
-
-    self.chunk:pop()
-    self:scopePop()
-end
-
-function mt:buildFunction(exp, object, colon)
-    if exp and exp.func then
-        return exp.func
-    end
-
-    local func = self:createValue('function', exp)
-    func.args = {}
-    func.argValues = {}
-
-    if not exp then
-        return func
-    end
-
-    func.built = exp
-    func.upvalues = {}
-    func.object = object
-    func.colon = colon
-    func.uri = exp.uri
-    exp.func = func
-    for name, loc in pairs(self.scope.locals) do
-        func.upvalues[name] = loc
-    end
-
-    self.results.funcs[#self.results.funcs+1] = func
-
-    return func
-end
-
-function mt:forList(list, callback)
-    if not list then
-        return
-    end
-    if list.type == 'list' then
-        for i = 1, #list do
-            callback(list[i])
-        end
-    else
-        callback(list)
-    end
-end
-
-function mt:countList(list)
-    if not list then
-        return 0
-    end
-    if list.type == 'list' then
-        return #list
-    end
-    return 1
-end
-
-function mt:setFunctionArg(func, values)
-    if not func.argValues then
-        func.argValues = {}
-    end
-    for i = 1, #values do
-        func.argValues[i] = values[i]
-    end
-end
-
-function mt:getFunctionArg(func, i)
-    if not func.argValues then
-        func.argValues = {}
-    end
-    return func.argValues[i]
-end
-
-function mt:callSetMetaTable(func, values, source)
-    if not values[1] then
-        values[1] = self:createValue('any')
-    end
-    if not values[2] then
-        values[2] = self:createValue('any')
-    end
-    self:setFunctionReturn(func, 1, values[1])
-    values[1]:setMetaTable(values[2], source)
-end
-
-function mt:getRequire(strValue, destVM)
-    -- 取出对方的主函数
-    local main = destVM.results.main
-    -- 获取主函数返回值，注意不能修改对方的环境
-    local mainValue
-    if main.returns then
-        mainValue = self:selectList(main.returns, 1)
-    else
-        mainValue = self:createValue('boolean', nil, true)
-        mainValue.uri = destVM.uri
-    end
-
-    return mainValue
-end
-
-function mt:getLoadFile(strValue, destVM)
-    -- 取出对方的主函数
-    local main = destVM.results.main
-    -- loadfile 的返回值就是对方的主函数
-    local mainValue = main
-
-    return mainValue
-end
-
-function mt:tryRequireOne(strValue, mode)
-    if not self.lsp or not self.lsp.workspace then
-        return nil
-    end
-    local str = strValue:getValue()
-    if type(str) == 'string' then
-        -- 支持 require 'xxx' 的转到定义
-        local strSource = strValue.source
-        strSource.bind = strValue
-        self.results.sources[#self.results.sources+1] = strSource
-        strValue.isRequire = true
-
-        local uri
-        if mode == 'require' then
-            uri = self.lsp.workspace:searchPath(self.chunk.func.uri, str)
-        elseif mode == 'loadfile' then
-            uri = self.lsp.workspace:loadPath(self.chunk.func.uri, str)
-        elseif mode == 'dofile' then
-            uri = self.lsp.workspace:loadPath(self.chunk.func.uri, str)
-        end
-        if not uri then
-            return nil
-        end
-
-        strValue.uri = uri
-        -- 如果取不到VM（不编译），则做个标记，之后再取一次
-        local destVM = self.lsp:getVM(uri)
-        self.lsp:compileChain(self.chunk.func.uri, uri)
-        if destVM then
-            if mode == 'require' then
-                return self:getRequire(strValue, destVM)
-            elseif mode == 'loadfile' then
-                return self:getLoadFile(strValue, destVM)
-            elseif mode == 'dofile' then
-                return self:getRequire(strValue, destVM)
-            end
-        end
-    end
-    return nil
-end
-
-function mt:callRequire(func, values)
-    if not values[1] then
-        values[1] = self:createValue('any')
-    end
-    local str = values[1]:getValue()
-    if type(str) ~= 'string' then
-        return
-    end
-    local lib = library.library[str]
-    if lib then
-        local value = self:getLibValue(lib, 'library')
-        self:setFunctionReturn(func, 1, value)
-        return
-    else
-        local requireValue = self:tryRequireOne(values[1], 'require')
-        if not requireValue then
-            requireValue = self:createValue('boolean')
-            requireValue.isRequire = true
-        end
-        self:setFunctionReturn(func, 1, requireValue)
-    end
-end
-
-function mt:callLoadFile(func, values)
-    if not values[1] then
-        values[1] = self:createValue('any')
-    end
-    local str = values[1]:getValue()
-    if type(str) ~= 'string' then
-        return
-    end
-    local requireValue = self:tryRequireOne(values[1], 'loadfile')
-    if not requireValue then
-        requireValue = self:createValue('any')
-        requireValue.isRequire = true
-    end
-    self:setFunctionReturn(func, 1, requireValue)
-end
-
-function mt:callDoFile(func, values)
-    if not values[1] then
-        values[1] = self:createValue('any')
-    end
-    local str = values[1]:getValue()
-    if type(str) ~= 'string' then
-        return
-    end
-    local requireValue = self:tryRequireOne(values[1], 'dofile')
-    if not requireValue then
-        requireValue = self:createValue('any')
-        requireValue.isRequire = true
-    end
-    self:setFunctionReturn(func, 1, requireValue)
-end
-
-function mt:call(func, values, source)
-    func:inference('function', 0.9)
-    local lib = func.lib
-    if lib then
-        if lib.args then
-            for i, arg in ipairs(lib.args) do
-                local value = values[i]
-                if value and arg.type ~= '...' then
-                    value:inference(arg.type, 1.0)
-                end
-            end
-        end
-        if lib.returns then
-            for i, rtn in ipairs(lib.returns) do
-                if rtn.type == '...' then
-                    self:getFunctionReturns(func, i):inference('any', 0.0)
-                else
-                    self:getFunctionReturns(func, i):inference(rtn.type or 'any', 1.0)
-                end
-            end
-        end
-        if lib.special then
-            if lib.special == 'setmetatable' then
-                self:callSetMetaTable(func, values, source)
-            elseif lib.special == 'require' then
-                self:callRequire(func, values)
-            elseif lib.special == 'loadfile' then
-                self:callLoadFile(func, values)
-            elseif lib.special == 'dofile' then
-                self:callDoFile(func, values)
-            end
-        end
-    else
-        if not func.built then
-            self:setFunctionReturn(func, 1, self:createValue('any', source))
-        end
-    end
-
-    if not source.hasRuned and func.built then
-        source.hasRuned = true
-        self:setFunctionArg(func, values)
-        self:runFunction(func)
-    end
-
-    return self:getFunctionReturns(func)
-end
-
-function mt:getCurrentFunction()
-    return self.chunk.func
-end
-
-function mt:setFunctionReturn(func, index, value)
-    func.hasReturn = true
-    if not func.returns then
-        func.returns = {
-            type = 'list',
-        }
-    end
-    if value then
-        if value.type == 'list' then
-            for i, v in ipairs(value) do
-                func.returns[index+i-1] = v
-            end
-        else
-            func.returns[index] = value
-        end
-    else
-        func.returns[index] = self:createValue('any', func.source)
-    end
-end
-
-function mt:getFunctionReturns(func, i)
-    if func.maxReturns and i and func.maxReturns < i then
-        return self:createValue('nil')
-    end
-    if not func.returns then
-        func.returns = {
-            type = 'list',
-        }
-    end
-    if i then
-        if not func.returns[i] then
-            for n = #func.returns+1, i do
-                func.returns[n] = self:createValue('any')
-            end
-        end
-        return func.returns[i]
-    else
-        return func.returns
-    end
-end
-
-function mt:createValue(tp, source, v)
-    local value = createValue(tp, source, v)
-    local lib = library.object[tp]
-    if lib then
-        self:getLibChild(value, lib, 'object')
-    end
-    return value
-end
-
-function mt:getLibChild(value, lib, parentType)
-    if lib.child then
-        if LibraryChild[lib] then
-            value:setChild(LibraryChild[lib])
-            return
-        end
-        -- 要先声明缓存，以免死循环
-        LibraryChild[lib] = value:getChild()
-        for fName, fLib in pairs(lib.child) do
-            local fField = self:createField(value, fName)
-            local fValue = self:getLibValue(fLib, parentType)
-            self:setValue(fField, fValue)
-        end
-    end
-end
-
-function mt:getLibValue(lib, parentType, v)
-    if LibraryValue[lib] then
-        return LibraryValue[lib]
-    end
-    local tp = lib.type
-    local value
-    if     tp == 'table' then
-        value = self:createValue('table')
-    elseif tp == 'function' then
-        value = self:createValue('function')
-        if lib.returns then
-            local dots
-            for i, rtn in ipairs(lib.returns) do
-                self:setFunctionReturn(value, i, self:getLibValue(rtn, parentType))
-                if rtn.type == '...' then
-                    dots = true
-                end
-            end
-            if not dots then
-                value.maxReturns = #lib.returns
-            end
-        else
-            value.maxReturns = 0
-        end
-        if lib.args then
-            local values = {}
-            for i, arg in ipairs(lib.args) do
-                values[i] = self:getLibValue(arg, parentType) or self:createValue('any')
-            end
-            -- TODO 确定参数类型
-        end
-    elseif tp == 'string' then
-        value = self:createValue('string', nil, v or lib.value)
-    elseif tp == 'boolean' then
-        value = self:createValue('boolean', nil, v or lib.value)
-    elseif tp == 'number' then
-        value = self:createValue('number', nil, v or lib.value)
-    elseif tp == 'integer' then
-        value = self:createValue('integer', nil, v or lib.value)
-    elseif tp == 'nil' then
-        value = self:createValue('nil')
-    elseif tp == '...' then
-        value = self:createValue('any')
-    else
-        value = self:createValue(tp or 'any')
-    end
-    LibraryValue[lib] = value
-    value.lib = lib
-    value.parentType = parentType
-
-    self:getLibChild(value, lib, parentType)
-
-    return value
-end
-
-function mt:getName(name, source)
-    if source and source.bind then
-        return source.bind
-    end
-    local loc = self.scope.locals[name]
-    if loc then
-        source.bind = loc
-        self.results.sources[#self.results.sources+1] = source
-        return loc
-    end
-    source.uri = self.chunk.func.uri
-    local ENV = self.scope.locals._ENV
-    local ENVValue = self:getValue(ENV, source)
-    local global = self:getField(ENVValue, name, source)
-    if global then
-        global.parent = ENV
-        return global
-    else
-        global = self:createField(ENVValue, name, source)
-        global.parent = ENV
-        return global
-    end
-end
-
-function mt:setName(name, source, value)
-    source.uri = self.chunk.func.uri
-    local loc = self.scope.locals[name]
-    if loc then
-        source.bind = loc
-        self.results.sources[#self.results.sources+1] = source
-        self:setValue(loc, value, source)
-        return
-    end
-    local ENV = self.scope.locals._ENV
-    local ENVValue = self:getValue(ENV, source)
-    local global = self:getField(ENVValue, name, source)
-    if global then
-        global.parent = ENV
-        self:setValue(global, value, source)
-    else
-        global = self:createField(ENVValue, name, source)
-        global.parent = ENV
-        self:setValue(global, value, source)
-    end
-end
-
-function mt:getIndex(obj)
-    local tp = obj.type
-    obj.uri = self.chunk.func.uri
-    if tp == 'name' then
-        local var = self:getName(obj[1], obj)
-        local value = self:getValue(var, obj)
-        self:addInfo(var, 'get', obj)
-        value:addInfo('get', obj)
-        return value
-    elseif (tp == 'string' or tp == 'number' or tp == 'boolean') then
-        return obj[1]
-    else
-        return self:getExp(obj)
-    end
-end
-
--- expect表示遇到 ... 时，期待的返回数量
-function mt:unpackDots(res, expect)
-    local dots = self:getDots(1)
-    local func = dots.func
-    local start = dots.index
-    if expect then
-        local finish = start + expect - 1
-        for i = start, finish do
-            res[#res+1] = self:getFunctionArg(func, i)
-        end
-    else
-        if not func.argValues then
-            return
-        end
-        for i = start, #func.argValues do
-            res[#res+1] = func.argValues[i]
-        end
-    end
-end
-
-function mt:unpackList(list, expect)
-    local res = {
-        type = 'list',
-    }
-    if not list then
-        return res
-    end
-    if list.type == 'list' or list.type == 'call' then
-        for i, exp in ipairs(list) do
-            if exp.type == '...' then
-                self:unpackDots(res, expect)
-                break
-            end
-            local value = self:getExp(exp)
-            if value.type == 'list' then
-                if i == #list then
-                    for _, v in ipairs(value) do
-                        res[#res+1] = v
-                    end
-                else
-                    res[#res+1] = value[1]
-                end
-            else
-                res[#res+1] = value
-            end
-        end
-    elseif list.type == '...' then
-        self:unpackDots(res, expect)
-    else
-        local value = self:getExp(list)
-        if value.type == 'list' then
-            for i, v in ipairs(value) do
-                res[i] = v
-            end
-        else
-            res[1] = value
-        end
-    end
-    for _, v in ipairs(res) do
-        if v.type == 'list' then
-            error('Unpack list')
-        end
-    end
-    return res
-end
-
-function mt:getSimple(simple, mode)
-    local value = self:getExp(simple[1])
-    local field
-    local parentName
-    local tp = simple[1].type
-    simple[1].uri = self.chunk.func.uri
-    if tp == 'name' then
-        field = self:getName(simple[1][1], simple[1])
-        parentName = field.key
-    elseif tp == 'string' or tp == 'number' or tp == 'nil' or tp == 'boolean' then
-        local v = self:createValue(tp, simple[1], simple[1][1])
-        field = self:createDummyVar(simple[1], v)
-        parentName = '*' .. tp
-    else
-        local v = self:createValue('any', simple[1])
-        field = self:createDummyVar(simple[1], v)
-        parentName = '?'
-    end
-    local object
-    local colon
-    local lastField = field
-    for i = 2, #simple do
-        local obj = simple[i]
-        local tp  = obj.type
-        obj.uri = self.chunk.func.uri
-        obj.isSuffix = true
-        value = self:selectList(value, 1)
-
-        if     tp == 'call' then
-            value:inference('function', 0.9)
-            local args = self:unpackList(obj)
-            if object then
-                table.insert(args, 1, self:getValue(object, obj))
-            end
-            local func = value
-            -- 函数的返回值一定是list
-            value = self:call(func, args, obj)
-            if i < #simple then
-                value = value[1] or self:createValue('any', obj)
-            end
-            self.results.calls[#self.results.calls+1] = {
-                args = obj,
-                lastObj = simple[i-1],
-                nextObj = simple[i+1],
-                func = func,
-            }
-            parentName = parentName .. '(...)'
-        elseif tp == 'index' then
-            value:inference('table', 0.8)
-            value:inference('string', 0.2)
-            local child = obj[1]
-            obj.indexName = parentName
-            local index = self:getIndex(child)
-            if mode == 'value' or i < #simple then
-                field = self:getField(value, index, obj) or self:createField(value, index, obj)
-                value = self:getValue(field, obj)
-                self:addInfo(field, 'get', obj)
-                value:addInfo('get', obj)
-            else
-                field = self:createField(value, index, obj)
-                value = self:getValue(field, obj)
-            end
-            field.parent = lastField
-            if obj[1].type == 'string' then
-                parentName = ('%s[%q]'):format(parentName, index)
-            elseif obj[1].type == 'number' or obj[1].type == 'boolean' then
-                parentName = ('%s[%s]'):format(parentName, index)
-            else
-                parentName = ('%s[?]'):format(parentName)
-            end
-        elseif tp == 'name' then
-            value:inference('table', 0.8)
-            value:inference('string', 0.2)
-            if mode == 'value' or i < #simple then
-                field = self:getField(value, obj[1], obj) or self:createField(value, obj[1], obj)
-                value = self:getValue(field, obj)
-                self:addInfo(field, 'get', obj)
-                value:addInfo('get', obj)
-            else
-                field = self:createField(value, obj[1], obj)
-                value = self:getValue(field, obj)
-            end
-            field.parent = lastField
-            lastField = field
-            obj.object = object
-            obj.parentName = parentName
-            parentName = parentName .. '.' .. field.key
-        elseif tp == ':' then
-            value:inference('table', 0.8)
-            value:inference('string', 0.2)
-            object = field
-            simple[i-1].colon = obj
-            colon = colon
-        elseif tp == '.' then
-            value:inference('table', 0.8)
-            value:inference('string', 0.2)
-            simple[i-1].dot = obj
-        end
-    end
-    if mode == 'value' then
-        return value, object
-    elseif mode == 'field' then
-        return field, object, colon
-    end
-    error('Unknow simple mode: ' .. mode)
-end
-
-function mt:isTrue(v)
-    if v:getType() == 'nil' then
-        return false
-    end
-    if v:getType() == 'boolean' and not v:getValue() then
-        return false
-    end
-    return true
-end
-
-function mt:selectList(list, n)
-    if list.type ~= 'list' then
-        return list
-    end
-    return list[n] or self:createValue('nil')
-end
-
-function mt:getBinary(exp)
-    local v1 = self:getExp(exp[1])
-    local v2 = self:getExp(exp[2])
-    v1 = self:selectList(v1, 1)
-    v2 = self:selectList(v2, 1)
-    local op = exp.op
-    -- TODO 搜索元方法
-    if     op == 'or' then
-        if self:isTrue(v1) then
-            return v1
-        else
-            return v2
-        end
-    elseif op == 'and' then
-        if self:isTrue(v1) then
-            return v2
-        else
-            return v1
-        end
-    elseif op == '<='
-        or op == '>='
-        or op == '<'
-        or op == '>'
-    then
-        v1:inference('number', 0.9)
-        v2:inference('number', 0.9)
-        v1:inference('string', 0.1)
-        v2:inference('string', 0.1)
-        return self:createValue('boolean')
-    elseif op == '~='
-        or op == '=='
-    then
-        return self:createValue('boolean')
-    elseif op == '|'
-        or op == '~'
-        or op == '&'
-        or op == '<<'
-        or op == '>>'
-    then
-        v1:inference('integer', 0.9)
-        v2:inference('integer', 0.9)
-        v1:inference('number', 0.9)
-        v2:inference('number', 0.9)
-        v1:inference('string', 0.1)
-        v2:inference('string', 0.1)
-        if math.type(v1:getValue()) == 'integer' and math.type(v2:getValue()) == 'integer' then
-            if op == '|' then
-                return self:createValue('integer', exp, v1:getValue() | v2:getValue())
-            elseif op == '~' then
-                return self:createValue('integer', exp, v1:getValue() ~ v2:getValue())
-            elseif op == '&' then
-                return self:createValue('integer', exp, v1:getValue() &v2:getValue())
-            elseif op == '<<' then
-                return self:createValue('integer', exp, v1:getValue() << v2:getValue())
-            elseif op == '>>' then
-                return self:createValue('integer', exp, v1:getValue() >> v2:getValue())
-            end
-        end
-        return self:createValue('integer')
-    elseif op == '..' then
-        v1:inference('string', 0.9)
-        v2:inference('string', 0.9)
-        v1:inference('number', 0.1)
-        v2:inference('number', 0.1)
-        if type(v1:getValue()) == 'string' and type(v2:getValue()) == 'string' then
-            return self:createValue('string', nil, v1:getValue() .. v2:getValue())
-        end
-        return self:createValue('string')
-    elseif op == '+'
-        or op == '-'
-        or op == '*'
-        or op == '/'
-        or op == '^'
-        or op == '%'
-        or op == '//'
-    then
-        v1:inference('number', 0.9)
-        v2:inference('number', 0.9)
-        if type(v1:getValue()) == 'number' and type(v2:getValue()) == 'number' then
-            if op == '+' then
-                return self:createValue('number', exp, v1:getValue() + v2:getValue())
-            elseif op == '-' then
-                return self:createValue('number', exp, v1:getValue() - v2:getValue())
-            elseif op == '*' then
-                return self:createValue('number', exp, v1:getValue() * v2:getValue())
-            elseif op == '/' then
-                if v2:getValue() ~= 0 then
-                    return self:createValue('number', exp, v1:getValue() / v2:getValue())
-                end
-            elseif op == '^' then
-                return self:createValue('number', exp, v1:getValue() ^ v2:getValue())
-            elseif op == '%' then
-                if v2:getValue() ~= 0 then
-                    return self:createValue('number', exp, v1:getValue() % v2:getValue())
-                end
-            elseif op == '//' then
-                if v2:getValue() ~= 0 then
-                    return self:createValue('number', exp, v1:getValue() // v2:getValue())
-                end
-            end
-        end
-        return self:createValue('number')
-    end
-    return nil
-end
-
-function mt:getUnary(exp)
-    local v1 = self:getExp(exp[1])
-    v1 = self:selectList(v1, 1)
-    local op = exp.op
-    -- TODO 搜索元方法
-    if     op == 'not' then
-        return self:createValue('boolean')
-    elseif op == '#' then
-        v1:inference('table', 0.9)
-        v1:inference('string', 0.9)
-        if type(v1:getValue()) == 'string' then
-            return self:createValue('integer', exp, #v1:getValue())
-        end
-        return self:createValue('integer')
-    elseif op == '-' then
-        v1:inference('number', 0.9)
-        if type(v1:getValue()) == 'number' then
-            return self:createValue('number', exp, -v1:getValue())
-        end
-        return self:createValue('number')
-    elseif op == '~' then
-        v1:inference('integer', 0.9)
-        if math.type(v1:getValue()) == 'integer' then
-            return self:createValue('integer', exp, ~v1:getValue())
-        end
-        return self:createValue('integer')
-    end
-    return nil
-end
-
-function mt:getDots()
-    if not self.chunk.dots then
-        self:createDots(1)
-    end
-    return self.chunk.dots
-end
-
-function mt:getExp(exp)
-    exp.uri = self.chunk.func.uri
-    local tp = exp.type
-    if     tp == 'nil' then
-        return self:createValue('nil', exp)
-    elseif tp == 'string' then
-        self.results.strings[#self.results.strings+1] = exp
-        return self:createValue('string', exp, exp[1])
-    elseif tp == 'boolean' then
-        return self:createValue('boolean', exp, exp[1])
-    elseif tp == 'number' then
-        return self:createValue('number', exp, exp[1])
-    elseif tp == 'name' then
-        local var = self:getName(exp[1], exp)
-        local value = self:getValue(var, exp)
-        self:addInfo(var, 'get', exp)
-        value:addInfo('get', exp)
-        return value
-    elseif tp == 'simple' then
-        return self:getSimple(exp, 'value')
-    elseif tp == 'binary' then
-        return self:getBinary(exp)
-    elseif tp == 'unary' then
-        return self:getUnary(exp)
-    elseif tp == 'function' then
-        return self:buildFunction(exp)
-    elseif tp == 'table' then
-        return self:buildTable(exp)
-    elseif tp == '...' then
-        local value = { type = 'list' }
-        self:unpackDots(value)
-        return value
-    end
-    error('Unkown exp type: ' .. tostring(tp))
-end
-
-function mt:doDo(action)
-    self:scopePush(action)
-    self:doActions(action)
-    self:scopePop()
-end
-
-function mt:doReturn(action)
-    self:getCurrentFunction().hasReturn = true
-    for i, exp in ipairs(action) do
-        local value = self:getExp(exp)
-        if value.type == 'list' then
-            if i == #action then
-                if #value == 0 then
-                    value[1] = self:createValue('any', exp)
-                end
-                for x, v in ipairs(value) do
-                    v:addInfo('return', exp)
-                    self:setFunctionReturn(self:getCurrentFunction(), i + x - 1, v)
-                end
-                break
-            else
-                local v = value[1] or self:createValue('nil', exp)
-                v:addInfo('return', exp)
-                self:setFunctionReturn(self:getCurrentFunction(), i, v)
-            end
-        else
-            value:addInfo('return', exp)
-            self:setFunctionReturn(self:getCurrentFunction(), i, value)
-        end
-    end
-end
-
-function mt:createLabel(source)
-    if source.bind then
-        return source.bind
-    end
-    local name = source[1]
-    if not self.chunk.labels[name] then
-        local label = {
-            type = 'label',
-            key = name,
-        }
-        self.chunk.labels[name] = label
-        self.results.labels[#self.results.labels+1] = label
-    end
-    source.bind = self.chunk.labels[name]
-    self.results.sources[#self.results.sources+1] = source
-    return self.chunk.labels[name]
-end
-
-function mt:doSet(action)
-    if not action[2] then
-        return
-    end
-    local n = self:countList(action[1])
-    -- 要先计算值
-    local values = self:unpackList(action[2], n)
-    self:forList(action[1], function (key)
-        local value = table.remove(values, 1)
-        if key.type == 'name' then
-            self:setName(key[1], key, value)
-        elseif key.type == 'simple' then
-            local field = self:getSimple(key, 'field')
-            self:setValue(field, value, key[#key])
-        end
-    end)
-end
-
-function mt:doLocal(action)
-    local n = self:countList(action[1])
-    local values
-    if action[2] then
-        values = self:unpackList(action[2], n)
-    end
-    self:forList(action[1], function (key)
-        local value
-        if values then
-            value = table.remove(values, 1)
-        end
-        key.uri = self.chunk.func.uri
-        self:createLocal(key[1], key, value)
-    end)
-end
-
-function mt:doIf(action)
-    for _, block in ipairs(action) do
-        if block.filter then
-            self:getExp(block.filter)
-        end
-
-        self:scopePush(block)
-        self:doActions(block)
-        self:scopePop()
-    end
-end
-
-function mt:doLoop(action)
-
-    local min = self:unpackList(action.min)[1]
-    self:getExp(action.max)
-    if action.step then
-        self:getExp(action.step)
-    end
-
-    self:scopePush(action)
-    self:createLocal(action.arg[1], action.arg, min)
-    self:doActions(action)
-    self:scopePop()
-end
-
-function mt:doIn(action)
-    local args = self:unpackList(action.exp)
-
-    self:scopePush(action)
-    local func = table.remove(args, 1) or self:createValue('any')
-    local values = self:call(func, args, action)
-    self:forList(action.arg, function (arg)
-        local value = table.remove(values, 1)
-        self:createLocal(arg[1], arg, value)
-    end)
-
-    self:doActions(action)
-
-    self:scopePop()
-end
-
-function mt:doWhile(action)
-
-    self:getExp(action.filter)
-
-    self:scopePush(action)
-    self:doActions(action)
-    self:scopePop()
-end
-
-function mt:doRepeat(action)
-    self:scopePush(action)
-    self:doActions(action)
-    self:getExp(action.filter)
-    self:scopePop()
-end
-
-function mt:doFunction(action)
-    local name = action.name
-    local var, object, colon
-    local source
-    if name then
-        if name.type == 'simple' then
-            var, object, colon = self:getSimple(name, 'field')
-            source = name[#name]
-        else
-            var = self:getName(name[1], name)
-            source = name
-        end
-    end
-    local func = self:buildFunction(action, object, colon)
-    if var then
-        self:setValue(var, func, source)
-    end
-end
-
-function mt:doLocalFunction(action)
-    local name = action.name
-    if name then
-        if name.type == 'simple' then
-            local var, object = self:getSimple(name, 'field')
-            local func = self:buildFunction(action, object)
-            self:setValue(var, func, name[#name])
-        else
-            local loc = self:createLocal(name[1], name)
-            local func = self:buildFunction(action)
-            func:addInfo('local', name)
-            self:setValue(loc, func, name[#name])
-        end
-    end
-end
-
-function mt:doAction(action)
-    if not action then
-        -- Skip
-        return
-    end
-    action.uri = self.chunk.func.uri
-    local tp = action.type
-    if     tp == 'do' then
-        self:doDo(action)
-    elseif tp == 'break' then
-    elseif tp == 'return' then
-        self:doReturn(action)
-    elseif tp == 'label' then
-        local label = self:createLabel(action)
-        self:addInfo(label, 'set', action)
-    elseif tp == 'goto' then
-        local label = self:createLabel(action)
-        self:addInfo(label, 'goto', action)
-    elseif tp == 'set' then
-        self:doSet(action)
-    elseif tp == 'local' then
-        self:doLocal(action)
-    elseif tp == 'simple' then
-        -- call
-        self:getSimple(action, 'value')
-    elseif tp == 'if' then
-        self:doIf(action)
-    elseif tp == 'loop' then
-        self:doLoop(action)
-    elseif tp == 'in' then
-        self:doIn(action)
-    elseif tp == 'while' then
-        self:doWhile(action)
-    elseif tp == 'repeat' then
-        self:doRepeat(action)
-    elseif tp == 'function' then
-        self:doFunction(action)
-    elseif tp == 'localfunction' then
-        self:doLocalFunction(action)
-    else
-        self:getExp(action)
-    end
-end
-
-function mt:doActions(actions)
-    for _, action in ipairs(actions) do
-        self:doAction(action)
-        if coroutine.isyieldable() then
-            if self.lsp:isNeedCompile(self.uri) then
-                coroutine.yield()
-            else
-                coroutine.yield('stop')
-            end
-        end
-    end
-end
-
-function mt:getGlobalValue()
-    if self.lsp and self.lsp.globalValue then
-        return self.lsp.globalValue
-    end
-    local globalValue = self:createValue('table')
-    globalValue.GLOBAL = true
-    for name, lib in pairs(library.global) do
-        local field = self:createField(globalValue, name)
-        local value = self:getLibValue(lib, 'global')
-        self:setValue(field, value)
-    end
-    if self.lsp then
-        self.lsp.globalValue = globalValue
-    end
-    return globalValue
-end
-
-function mt:createEnvironment()
-    self.scope.block = { start = 0, finish = math.maxinteger }
-    -- 整个文件是一个函数
-    self.chunk.func = self:buildFunction()
-    self.chunk.func.uri = self.uri
-    self.results.main = self.chunk.func
-    -- 隐藏的上值`_ENV`
-    local evnField = self:createLocal('_ENV')
-    evnField.hide = true
-    -- 隐藏的参数`...`
-    self:createDots(1)
-    -- 全局变量`_G`
-    local globalValue = self:getGlobalValue()
-    -- 使用_G初始化_ENV
-    self:setValue(evnField, globalValue)
-    self.env = globalValue
-end
-
-local function compile(ast, lsp, uri)
-    local vm = setmetatable({
-        scope   = env {
-            locals = {},
-        },
-        chunk   = env {
-            labels = {},
-        },
-        results = {
-            locals = {},
-            labels = {},
-            funcs  = {},
-            calls  = {},
-            strings= {},
-            infos  = {},
-            sources= {},
-            main   = nil,
-        },
-        lsp          = lsp,
-        uri          = uri or '',
-    }, mt)
-
-    -- 创建初始环境
-    vm:createEnvironment()
-
-    -- 执行代码
-    vm:doActions(ast)
-
-    -- 检查所有没有调用过的函数，调用一遍
-    vm:callLeftFuncions()
-
-    vm.scope = nil
-    vm.chunk = nil
-
-    return vm
-end
-
-return function (ast, lsp, uri)
-    if not ast then
-        return nil
-    end
-    local suc, res = xpcall(compile, log.error, ast, lsp, uri)
-    if not suc then
-        return nil
-    end
-    return res
-end