language-server/tools.samt.ls/SamtWorkspaceService/didRenameFiles

didRenameFiles

open override fun didRenameFiles(params: RenameFilesParams)