view infer must specify uri

Author: sumneko

script/core/completion/completion.lua

@@ -184,7 +184,7 @@ local function buildFunctionSnip(source, value, oop)
 end
 
 local function buildDetail(source)
-    local types = vm.getInfer(source):view()
+    local types = vm.getInfer(source):view(guide.getUri(source))
     local literals = vm.getInfer(source):viewLiterals()
     if literals then
         return types .. ' = ' .. literals
@@ -302,7 +302,7 @@ local function checkLocal(state, word, position, results)
         if name:sub(1, 1) == '@' then
             goto CONTINUE
         end
-        if vm.getInfer(source):hasFunction() then
+        if vm.getInfer(source):hasFunction(state.uri) then
             local defs = vm.getDefs(source)
             -- make sure `function` is before `doc.type.function`
             local orders = {}
@@ -513,7 +513,7 @@ local function checkFieldThen(state, name, src, word, startPos, position, parent
         })
         return
     end
-    if oop and not vm.getInfer(src):hasFunction() then
+    if oop and not vm.getInfer(src):hasFunction(state.uri) then
         return
     end
     local literal = guide.getLiteral(value)
@@ -1440,7 +1440,7 @@ local function tryCallArg(state, position, results)
                     : string()
             end
             enums[#enums+1] = {
-                label       = vm.getInfer(src):view(),
+                label       = vm.getInfer(src):view(state.uri),
                 description = description,
                 kind        = define.CompletionItemKind.Function,
                 insertText  = insertText,
@@ -1819,14 +1819,14 @@ local function buildluaDocOfFunction(func)
     local returns = {}
     if func.args then
         for _, arg in ipairs(func.args) do
-            args[#args+1] = vm.getInfer(arg):view()
+            args[#args+1] = vm.getInfer(arg):view(guide.getUri(func))
         end
     end
     if func.returns then
         for _, rtns in ipairs(func.returns) do
             for n = 1, #rtns do
                 if not returns[n] then
-                    returns[n] = vm.getInfer(rtns[n]):view()
+                    returns[n] = vm.getInfer(rtns[n]):view(guide.getUri(func))
                 end
             end
         end

script/core/diagnostics/close-non-object.lua

@@ -25,10 +25,10 @@ return function (uri, callback)
             return
         end
         local infer = vm.getInfer(source.value)
-        if  not infer:hasClass()
-        and not infer:hasType 'nil'
-        and not infer:hasType 'table'
-        and infer:view('any', uri) ~= 'any'  then
+        if  not infer:hasClass(uri)
+        and not infer:hasType(uri, 'nil')
+        and not infer:hasType(uri, 'table')
+        and infer:view(uri, 'any') ~= 'any'  then
             callback {
                 start   = source.value.start,
                 finish  = source.value.finish,

script/core/diagnostics/no-unknown.lua

@@ -20,7 +20,7 @@ return function (uri, callback)
         and source.type ~= 'tableindex' then
             return
         end
-        if vm.getInfer(source):view() == 'unknown' then
+        if vm.getInfer(source):view(uri) == 'unknown' then
             callback {
                 start   = source.start,
                 finish  = source.finish,

script/core/diagnostics/not-yieldable.lua

@@ -11,7 +11,7 @@ local function isYieldAble(defs, i)
             local arg = def.args and def.args[i]
             if arg then
                 hasFuncDef = true
-                if vm.getInfer(arg):hasType 'any'
+                if vm.getInfer(arg):hasType(guide.getUri(def), 'any')
                 or vm.isAsync(arg, true)
                 or arg.type == '...' then
                     return true
@@ -22,7 +22,7 @@ local function isYieldAble(defs, i)
             local arg = def.args and def.args[i]
             if arg then
                 hasFuncDef = true
-                if vm.getInfer(arg.extends):hasType 'any'
+                if vm.getInfer(arg.extends):hasType(guide.getUri(def), 'any')
                 or vm.isAsync(arg.extends, true) then
                     return true
                 end

script/core/diagnostics/undefined-field.lua

@@ -34,7 +34,7 @@ return function (uri, callback)
         local node = src.node
         if node then
             local ok
-            for view in vm.getInfer(node):eachView() do
+            for view in vm.getInfer(node):eachView(uri) do
                 if not skipCheckClass[view] then
                     ok = true
                     break

script/core/hint.lua

@@ -38,7 +38,7 @@ local function typeHint(uri, results, start, finish)
             end
         end
         await.delay()
-        local view = vm.getInfer(source):view()
+        local view = vm.getInfer(source):view(uri)
         if view == 'any'
         or view == 'unknown'
         or view == 'nil' then

script/core/hover/args.lua

@@ -9,7 +9,7 @@ local function asFunction(source)
         methodDef = true
     end
     if methodDef then
-        args[#args+1] = ('self: %s'):format(vm.getInfer(parent.node):view 'any')
+        args[#args+1] = ('self: %s'):format(vm.getInfer(parent.node):view(guide.getUri(source), 'any'))
     end
     if source.args then
         for i = 1, #source.args do
@@ -29,15 +29,15 @@ local function asFunction(source)
                 args[#args+1] = ('%s%s: %s'):format(
                     name,
                     optional and '?' or '',
-                    vm.getInfer(argNode):view('any', guide.getUri(source))
+                    vm.getInfer(argNode):view(guide.getUri(source), 'any')
                 )
             elseif arg.type == '...' then
                 args[#args+1] = ('%s: %s'):format(
                     '...',
-                    vm.getInfer(arg):view 'any'
+                    vm.getInfer(arg):view(guide.getUri(source), 'any')
                 )
             else
-                args[#args+1] = ('%s'):format(vm.getInfer(arg):view 'any')
+                args[#args+1] = ('%s'):format(vm.getInfer(arg):view(guide.getUri(source), 'any'))
             end
             ::CONTINUE::
         end
@@ -56,7 +56,7 @@ local function asDocFunction(source)
         args[i] = ('%s%s: %s'):format(
             name,
             arg.optional and '?' or '',
-            arg.extends and vm.getInfer(arg.extends):view 'any' or 'any'
+            arg.extends and vm.getInfer(arg.extends):view(guide.getUri(source), 'any') or 'any'
         )
     end
     return args

script/core/hover/description.lua

@@ -152,7 +152,7 @@ local function buildEnumChunk(docType, name)
     local types = {}
     local lines = {}
     for _, tp in ipairs(vm.getDefs(docType)) do
-        types[#types+1] = vm.getInfer(tp):view()
+        types[#types+1] = vm.getInfer(tp):view(guide.getUri(docType))
         if tp.type == 'doc.type.string'
         or tp.type == 'doc.type.integer'
         or tp.type == 'doc.type.boolean' then

script/core/hover/init.lua

@@ -39,7 +39,7 @@ local function getHover(source)
     end
 
     local oop
-    if vm.getInfer(source):view() == 'function' then
+    if vm.getInfer(source):view(guide.getUri(source)) == 'function' then
         local defs = vm.getDefs(source)
         -- make sure `function` is before `doc.type.function`
         local orders = {}

script/core/hover/label.lua

@@ -33,7 +33,7 @@ local function asDocTypeName(source)
             return '(class) ' .. doc.class[1]
         end
         if doc.type == 'doc.alias' then
-            return '(alias) ' .. doc.alias[1] .. ' ' .. lang.script('HOVER_EXTENDS', vm.getInfer(doc.extends):view())
+            return '(alias) ' .. doc.alias[1] .. ' ' .. lang.script('HOVER_EXTENDS', vm.getInfer(doc.extends):view(guide.getUri(source)))
         end
     end
 end
@@ -42,7 +42,7 @@ end
 local function asValue(source, title)
     local name    = buildName(source, false) or ''
     local ifr     = vm.getInfer(source)
-    local type    = ifr:view()
+    local type    = ifr:view(guide.getUri(source))
     local literal = ifr:viewLiterals()
     local cont    = buildTable(source)
     local pack = {}
@@ -139,7 +139,7 @@ local function asDocFieldName(source)
             break
         end
     end
-    local view = vm.getInfer(source.extends):view()
+    local view = vm.getInfer(source.extends):view(guide.getUri(source))
     if not class then
         return ('(field) ?.%s: %s'):format(name, view)
     end