Files
neovim/runtime/lua/vim/inspect.lua
T
Lewis Russell 364b7a3402 ci(lua): enable annotation and style checks
Problem:

- annotation-usage-error and code-style-check are disabled.
- vim.inspect relies on a dummy self-assignment for docgen, and its help
  omits parameter and option details.
- LuaLS fallback types obscure iterator inference.
- Docgen hardcodes public function names and appends separately sorted
  files, leaving shared helpers under the inspector heading.

Solution:

- Enable annotation-usage-error and code-style-check, and fix misplaced
  annotations.
- Document vim.inspect's callable module directly, removing the dummy
  assignment. Describe its parameters, option defaults and process
  callback.
- Remove LuaLS iterator fallbacks, correct iterator signatures and check
  values that the improved inference identifies as optional.
- Parse callable modules, require bindings and parent module references.
  Derive public names and inherited function docs from these links,
  including missing help for vim.async.semaphore() and vim.version().
- Export vim.lsp.tagfunc directly with lazy loading and document its
  implementation instead of maintaining a wrapper.
- Group files in section_order, replacing append_only and merge_files.
  Merge declarations before sorting each section, placing shared helpers
  in the main vim section and keeping vim.inspect in alphabetical order.
- Add basic parser coverage for callable modules and module links.

AI-assisted
2026-09-30 17:56:01 +01:00

483 lines
12 KiB
Lua

--- @class (private) vim.InspectModule
--- @overload fun(root: any, options?: vim.inspect.Opts): string
local inspect = {
_VERSION = 'inspect.lua 3.1.0',
_URL = 'http://github.com/kikito/inspect.lua',
_DESCRIPTION = 'human-readable representations of tables',
_LICENSE = [[
MIT LICENSE
Copyright (c) 2013 Enrique García Cota
Permission is hereby granted, free of charge, to any person obtaining a
copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
]],
}
inspect.KEY = setmetatable({}, {
__tostring = function()
return 'inspect.KEY'
end,
})
inspect.METATABLE = setmetatable({}, {
__tostring = function()
return 'inspect.METATABLE'
end,
})
local tostring = tostring
local rep = string.rep
local match = string.match
local char = string.char
local gsub = string.gsub
local fmt = string.format
local sbavailable, stringbuffer = pcall(require, 'string.buffer')
local buffnew
local puts
local render
if sbavailable then
buffnew = stringbuffer.new
--- @param buf string.buffer
--- @param str string
puts = function(buf, str)
buf:put(str)
end
--- @param buf string.buffer
render = function(buf)
return buf:get()
end
else
buffnew = function()
return { n = 0 }
end
--- @param buf { [integer]: string, n: integer }
--- @param str string
puts = function(buf, str)
buf.n = buf.n + 1
buf[buf.n] = str
end
--- @param buf string[]
render = function(buf)
return table.concat(buf)
end
end
-- The constructor, writer and renderer always use the same buffer backend.
--- @cast puts fun(buf: string.buffer|{ [integer]: string, n: integer }, str: string)
--- @cast render fun(buf: string.buffer|{ [integer]: string, n: integer }): string
local _rawget
if rawget then
_rawget = rawget
else
--- @generic K, V
--- @param t table<K,V>
--- @param k K
--- @return V?
_rawget = function(t, k)
return t[k]
end
end
--- @generic K, V
--- @param t table<K,V>
--- @return (fun(t: table<K,V>, key?: K): K?, V?), table<K,V>, nil
local function rawpairs(t)
return next, t, nil
end
--- Apostrophizes the string if it has quotes, but not aphostrophes
--- Otherwise, it returns a regular quoted string
--- @param str string
local function smartQuote(str)
if match(str, '"') and not match(str, "'") then
return "'" .. str .. "'"
end
return '"' .. gsub(str, '"', '\\"') .. '"'
end
-- \a => '\\a', \0 => '\\0', 31 => '\31'
local shortControlCharEscapes = {
['\a'] = '\\a',
['\b'] = '\\b',
['\f'] = '\\f',
['\n'] = '\\n',
['\r'] = '\\r',
['\t'] = '\\t',
['\v'] = '\\v',
['\127'] = '\\127',
}
local longControlCharEscapes = { ['\127'] = '\127' }
for i = 0, 31 do
local ch = char(i)
if not shortControlCharEscapes[ch] then
shortControlCharEscapes[ch] = '\\' .. i
longControlCharEscapes[ch] = fmt('\\%03d', i)
end
end
--- @param str string
local function escape(str)
return (
gsub(
gsub(gsub(str, '\\', '\\\\'), '(%c)%f[0-9]', longControlCharEscapes),
'%c',
shortControlCharEscapes
)
)
end
local luaKeywords = {}
for k in
([[ and break do else elseif end false for function goto if
in local nil not or repeat return then true until while
]]):gmatch('%w+')
do
luaKeywords[k] = true
end
--- @param str any
local function isIdentifier(str)
return type(str) == 'string'
-- identifier must start with a letter and underscore, and be followed by letters, numbers, and underscores
and not not str:match('^[_%a][_%a%d]*$')
-- lua keywords are not valid identifiers
and not luaKeywords[str]
end
local flr = math.floor
--- @param k any
--- @param sequenceLength integer
local function isSequenceKey(k, sequenceLength)
return type(k) == 'number' and flr(k) == k and 1 <= k and k <= sequenceLength
end
local defaultTypeOrders = {
['number'] = 1,
['boolean'] = 2,
['string'] = 3,
['table'] = 4,
['function'] = 5,
['userdata'] = 6,
['thread'] = 7,
}
--- @param a any
--- @param b any
local function sortKeys(a, b)
local ta, tb = type(a), type(b)
-- strings and numbers are sorted numerically/alphabetically
if ta == tb and (ta == 'string' or ta == 'number') then
return a < b
end
local dta = defaultTypeOrders[ta] or 100
local dtb = defaultTypeOrders[tb] or 100
-- Two default types are compared according to the defaultTypeOrders table
-- custom types are sorted out alphabetically
return dta == dtb and ta < tb or dta < dtb
end
--- @generic K
--- @param t table<K,any>
--- @return K[], integer, integer
local function getKeys(t)
local seqLen = 1
while _rawget(t, seqLen) ~= nil do
seqLen = seqLen + 1
end
seqLen = seqLen - 1
local keys, keysLen = {}, 0
for k in rawpairs(t) do
if not isSequenceKey(k, seqLen) then
keysLen = keysLen + 1
keys[keysLen] = k
end
end
table.sort(keys, sortKeys)
return keys, keysLen, seqLen
end
--- @param x any
--- @param cycles table<table,integer>
--- @param depth number
local function countCycles(x, cycles, depth)
if type(x) == 'table' then
if cycles[x] then
cycles[x] = cycles[x] + 1
else
cycles[x] = 1
if depth > 0 then
for k, v in rawpairs(x) do
countCycles(k, cycles, depth - 1)
countCycles(v, cycles, depth - 1)
end
countCycles(getmetatable(x), cycles, depth - 1)
end
end
end
end
--- @generic T
--- @param path T[]
--- @param a T
--- @param b? T
--- @return T[]
local function makePath(path, a, b)
local newPath = {}
local len = #path
for i = 1, len do
newPath[i] = path[i]
end
newPath[len + 1] = a
newPath[len + 2] = b
return newPath
end
--- @param process fun(item: any, path: any[]): any
--- @param item any
--- @param path any[]
--- @param visited table<any,any>
local function processRecursive(process, item, path, visited)
if item == nil then
return nil
end
if visited[item] then
return visited[item]
end
local processed = process(item, path)
if type(processed) == 'table' then
local processedCopy = {}
visited[item] = processedCopy
local processedKey
for k, v in rawpairs(processed) do
processedKey = processRecursive(process, k, makePath(path, k, inspect.KEY), visited)
if processedKey ~= nil then
processedCopy[processedKey] =
processRecursive(process, v, makePath(path, processedKey), visited)
end
end
local mt =
processRecursive(process, getmetatable(processed), makePath(path, inspect.METATABLE), visited)
if type(mt) ~= 'table' then
mt = nil
end
setmetatable(processedCopy, mt)
processed = processedCopy
end
return processed
end
--- @class (private) vim.inspect.Inspector
--- @field buf string.buffer|{ [integer]: string, n: integer }
--- @field ids table<any,integer>
--- @field cycles table<table,integer>
--- @field depth number
--- @field level integer
--- @field newline string
--- @field indent string
local Inspector = {}
local Inspector_mt = { __index = Inspector }
--- @param inspector vim.inspect.Inspector
local function tabify(inspector)
puts(inspector.buf, inspector.newline .. rep(inspector.indent, inspector.level))
end
--- @nodoc
--- @param v any
function Inspector:getId(v)
local id = self.ids[v]
local ids = self.ids
if not id then
local tv = type(v)
id = (ids[tv] or 0) + 1
ids[v], ids[tv] = id, id
end
return tostring(id)
end
--- @nodoc
--- @param v any
function Inspector:putValue(v)
local buf = self.buf
local tv = type(v)
if tv == 'string' then
puts(buf, smartQuote(escape(v)))
elseif
tv == 'number'
or tv == 'boolean'
or tv == 'nil'
or tv == 'cdata'
or tv == 'ctype'
or (vim and v == vim.NIL)
then
puts(buf, tostring(v))
elseif tv == 'table' and not self.ids[v] then
local t = v
if t == inspect.KEY or t == inspect.METATABLE then
puts(buf, tostring(t))
elseif self.level >= self.depth then
puts(buf, '{...}')
else
if self.cycles[t] > 1 then
puts(buf, fmt('<%d>', self:getId(t)))
end
local keys, keysLen, seqLen = getKeys(t)
local mt = getmetatable(t)
if vim and seqLen == 0 and keysLen == 0 and mt == vim._empty_dict_mt then
puts(buf, tostring(t))
return
end
puts(buf, '{')
self.level = self.level + 1
for i = 1, seqLen + keysLen do
if i > 1 then
puts(buf, ',')
end
if i <= seqLen then
puts(buf, ' ')
self:putValue(t[i])
else
local k = keys[i - seqLen]
tabify(self)
if isIdentifier(k) then
puts(buf, k)
else
puts(buf, '[')
self:putValue(k)
puts(buf, ']')
end
puts(buf, ' = ')
self:putValue(t[k])
end
end
if type(mt) == 'table' then
if seqLen + keysLen > 0 then
puts(buf, ',')
end
tabify(self)
puts(buf, '<metatable> = ')
self:putValue(mt)
end
self.level = self.level - 1
if keysLen > 0 or type(mt) == 'table' then
tabify(self)
elseif seqLen > 0 then
puts(buf, ' ')
end
puts(buf, '}')
end
else
puts(buf, fmt('<%s %d>', tv, self:getId(v)))
end
end
--- @inlinedoc
--- @class vim.inspect.Opts
---
--- Maximum table nesting depth. Deeper tables are shown as `{...}`.
--- (default: unlimited)
--- @field depth? integer
---
--- String used for line breaks.
--- (default: `"\n"`)
--- @field newline? string
---
--- String repeated for each level of indentation.
--- (default: `" "`)
--- @field indent? string
---
--- Transforms values, keys, and metatables before formatting. Return a replacement value,
--- or `nil` to omit a table entry. {path} lists the keys leading to {item}, with
--- `vim.inspect.KEY` appended for keys or `vim.inspect.METATABLE` for metatables.
--- The root has an empty path.
--- @field process? fun(item: any, path: any[]): any
--- @nodoc
--- @param root any
--- @param options? vim.inspect.Opts
--- @return string
function inspect.inspect(root, options)
options = options or {}
local depth = options.depth or math.huge
local newline = options.newline or '\n'
local indent = options.indent or ' '
local process = options.process
if process then
root = processRecursive(process, root, {}, {})
end
local cycles = {}
countCycles(root, cycles, depth)
local inspector = setmetatable({
buf = buffnew(),
ids = {},
cycles = cycles,
depth = depth,
level = 0,
newline = newline,
indent = indent,
}, Inspector_mt)
inspector:putValue(root)
return render(inspector.buf)
end
setmetatable(inspect, {
--- Gets a human-readable representation of the given object.
---
--- @see |vim.print()|
--- @see https://github.com/kikito/inspect.lua
--- @see https://github.com/mpeterv/vinspect
--- @param root any
--- @param options? vim.inspect.Opts
--- @return string
__call = function(_, root, options)
return inspect.inspect(root, options)
end,
})
return inspect