local core = require 'core' local parser = require 'parser' local buildVM = require 'vm' local CompletionItemKind = { Text = 1, Method = 2, Function = 3, Constructor = 4, Field = 5, Variable = 6, Class = 7, Interface = 8, Module = 9, Property = 10, Unit = 11, Value = 12, Enum = 13, Keyword = 14, Snippet = 15, Color = 16, File = 17, Reference = 18, Folder = 19, EnumMember = 20, Constant = 21, Struct = 22, Event = 23, Operator = 24, TypeParameter = 25, } local EXISTS = {} local function eq(a, b) if a == EXISTS and b ~= nil then return true end local tp1, tp2 = type(a), type(b) if tp1 ~= tp2 then return false end if tp1 == 'table' then local mark = {} for k in pairs(a) do if not eq(a[k], b[k]) then return false end mark[k] = true end for k in pairs(b) do if not mark[k] then return false end end return true end return a == b end local function findStartPos(pos, buf) local res = nil for i = pos-1, 1, -1 do local c = buf:sub(i, i) if c:find '[%w_]' then res = i else break end end if not res then for i = pos-1, 1, -1 do local c = buf:sub(i, i) if c:find '[%.%:]' then res = i elseif c:find '[%s%c]' then else break end end end if not res then return pos end return res end local function findWord(position, text) local word = text for i = position-1, 1, -1 do local c = text:sub(i, i) if not c:find '[%w_]' then word = text:sub(i+1, position) break end end return word:match('^([%w_]*)') end rawset(_G, 'TEST', true) function TEST(script) return function (expect) local pos = script:find('@', 1, true) local new_script = script:gsub('@', ' ') local ast = parser:ast(new_script) local vm = buildVM(ast) assert(vm) local word = findWord(pos, new_script) local startPos = findStartPos(pos, new_script) local result = core.completion(vm, startPos, word) if expect then assert(result) assert(eq(expect, result)) else assert(result == nil) end end end TEST [[ local zabcde za@ ]] { { label = 'zabcde', kind = CompletionItemKind.Variable, } } TEST [[ local zabcdefg local zabcde zabcde@ ]] { { label = 'zabcdefg', kind = CompletionItemKind.Variable, } } TEST [[ local zabcdefg za@ local zabcde ]] { { label = 'zabcdefg', kind = CompletionItemKind.Variable, }, { label = 'zabcde', kind = CompletionItemKind.Text, }, } TEST [[ local zabcde zace@ ]] { { label = 'zabcde', kind = CompletionItemKind.Variable, } } TEST [[ ZABC local zabc zac@ ]] { { label = 'zabc', kind = CompletionItemKind.Variable, }, { label = 'ZABC', kind = CompletionItemKind.Field, }, } TEST [[ ass@ ]] { { label = 'assert', kind = CompletionItemKind.Function, documentation = EXISTS, } } TEST [[ local zabc = 1 z@ ]] { { label = 'zabc', kind = CompletionItemKind.Variable, detail = '= 1', } } TEST [[ local zabc = 1.0 z@ ]] { { label = 'zabc', kind = CompletionItemKind.Variable, detail = '= 1.0', } } TEST [[ local t = { abc = 1, } t.a@ ]] { { label = 'abc', kind = CompletionItemKind.Enum, detail = '= 1', } } TEST [[ local mt = {} function mt:get(a, b) return 1 end mt:g@ ]] { { label = 'get', kind = CompletionItemKind.Method, documentation = EXISTS, } } TEST [[ loc@ ]] { { label = 'local', kind = CompletionItemKind.Keyword, } } TEST [[ t.a = {} t.b = {} t.@ ]] { { label = 'a', kind = CompletionItemKind.Field, }, { label = 'b', kind = CompletionItemKind.Field, }, } TEST [[ t.a = {} t.b = {} t. @ ]] { { label = 'a', kind = CompletionItemKind.Field, }, { label = 'b', kind = CompletionItemKind.Field, }, } TEST [[ t.a = {} function t:b() end t:@ ]] { { label = 'b', kind = CompletionItemKind.Method, documentation = EXISTS, }, } TEST [[ local t = { a = {}, } t.@ xxx() ]] { { label = 'a', kind = CompletionItemKind.Field, }, { label = 'xxx', kind = CompletionItemKind.Function, documentation = EXISTS, }, } TEST [[ (''):@ ]] (EXISTS) TEST 'local s = "a:@"' (nil) TEST [[ local xxxx = { xxyy = 1, xxzz = 2, } local t = { x@ } ]] { { label = 'xxxx', kind = CompletionItemKind.Variable, }, { label = 'xxyy', kind = CompletionItemKind.Property, }, { label = 'xxzz', kind = CompletionItemKind.Property, }, { label = 'xpcall', kind = CompletionItemKind.Function, documentation = EXISTS, } } TEST [[ print(ff2) local faa local f@ print(fff) ]] { { label = 'fff', kind = CompletionItemKind.Variable, }, { label = 'function', kind = CompletionItemKind.Keyword, }, { label = 'ff2', kind = CompletionItemKind.Text, }, { label = 'faa', kind = CompletionItemKind.Text, }, } TEST [[ local function f(f@) print(fff) end ]] { { label = 'fff', kind = CompletionItemKind.Variable, }, } TEST [[ collectgarbage('@') ]] { { label = 'collect', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"collect"', }, }, { label = 'stop', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"stop"', }, }, { label = 'restart', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"restart"', }, }, { label = 'count', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"count"', }, }, { label = 'step', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"step"', }, }, { label = 'setpause', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"setpause"', }, }, { label = 'setstepmul', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"setstepmul"', }, }, { label = 'isrunning', kind = CompletionItemKind.EnumMember, documentation = EXISTS, textEdit = { start = 16, finish = 18, newText = '"isrunning"', }, }, } TEST [[ collectgarbage(@) ]] (EXISTS) TEST [[ io.read(@) ]] { { label = '"n"', kind = CompletionItemKind.EnumMember, documentation = EXISTS, }, { label = '"a"', kind = CompletionItemKind.EnumMember, documentation = EXISTS, }, { label = '"l"', kind = CompletionItemKind.EnumMember, documentation = EXISTS, }, { label = '"L"', kind = CompletionItemKind.EnumMember, documentation = EXISTS, }, } TEST [[ local function f(a, @) end ]] (nil) TEST [[ self.results.list[#@] ]] { { label = 'self.results.list+1', kind = CompletionItemKind.Snippet, textEdit = { start = 18, finish = 21, newText = '[#self.results.list+1] = ', }, }, } TEST [[ self.results.list[#self.re@] ]] { { label = 'self.results.list+1', kind = CompletionItemKind.Snippet, textEdit = { start = 18, finish = 28, newText = '[#self.results.list+1] = ', }, }, { label = 'results', kind = CompletionItemKind.Field, }, } TEST [[ fff[#ff@] ]] { { label = 'fff+1', kind = CompletionItemKind.Snippet, textEdit = { start = 4, finish = 9, newText = '[#fff+1] = ', }, }, { label = 'fff', kind = CompletionItemKind.Field, } } TEST [[ local t = { a = 1, } t . @ ]] (EXISTS) TEST [[ local t = { a = 1, } t . @ b ]] (EXISTS) TEST [[ local t = { a = 1, } t @ ]] (nil) TEST [[ local t = { a = 1, } t @. ]] (nil) TEST [[ local xxxx xxxx@ ]] (nil) TEST [[ local xxxx local XXXX xxxx@ ]] { { label = 'XXXX', kind = CompletionItemKind.Variable, } } TEST [[ local t = { xxxxx = 1, } xx@ ]] { { label = 'xxxxx', kind = CompletionItemKind.Text, }, } TEST [[ local index tbl[ind@] ]] { { label = 'index', kind = CompletionItemKind.Variable, }, } TEST [[ return function () local t = { a = {}, b = {}, } t.@ end ]] { { label = 'a', kind = CompletionItemKind.Field, }, { label = 'b', kind = CompletionItemKind.Field, }, { label = 'end', kind = CompletionItemKind.Field, }, } TEST [[ local ast = 1 local t = 'as@' local ask = 1 ]] (nil)