where can i find the docs of executeCommandProviders.commands.*?

[haolian9]

hi folks, i just discovered the existence of executeCommandProviders.commands.*, which on my side is:

      executeCommandProvider = {
        commands = { "lua.removeSpace", "lua.solve", "lua.jsonToLua", "lua.setConfig", "lua.getConfig", "lua.autoRequire" }
      },

but i failed to find any document about how to use them. to be specific, i know i should invoke them via the workspace/executeCommand request, but i dont know what the ExcuteCommandParam.arguments exactly is.

through grepping the source, i know that script/core/command/autoRequire.lua is the implementation of lua.autoRequire, but i failed to figure out how should i form the data.{target,name} for it.

so can you point out some links about it? or if the doc just not exists right now, can you give me some guides?

[haolian9]

well, it seems there is no relevant docs yet. and luckily, the implementation is just there.