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

    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
    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())
    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
        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)
                field.parentValue = value
                value = self:getValue(field, obj)
                self:addInfo(field, 'get', obj)
                value:addInfo('get', obj)
            else
                field = self:createField(value, index, obj)
                field.parentValue = value
                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)
                field.parentValue = value
                value = self:getValue(field, obj)
                self:addInfo(field, 'get', obj)
                value:addInfo('get', obj)
            else
                field = self:createField(value, obj[1], obj)
                field.parentValue = value
                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