class TypeProf::LSP::Message::TextDocument::DidOpen

# File typeprof-0.30.1/lib/typeprof/lsp/messages.rb, line 131
def run
  @params => { textDocument: { uri:, version:, text: } }

  path = @server.uri_to_path(uri)
  return unless @server.target_path?(path)

  text = Text.new(path, text, version)
  @server.open_texts[uri] = text
  @server.core.update_file(text.path, text.string)
  @server.send_request("workspace/codeLens/refresh")
  @server.publish_diagnostics(uri)
end