class TypeProf::LSP::Message::TextDocument::Definition

# File typeprof-0.21.8/lib/typeprof/lsp.rb, line 603
def run
  case @params
  in {
    textDocument: { uri:, },
    position: loc,
  }
  else
    raise
  end

  definition_table = @server.open_texts[uri]&.definition_table
  code_locations = definition_table[CodeLocation.from_lsp(loc)] if definition_table
  if code_locations
    respond(
      code_locations.map do |path, code_range|
        {
          uri: "file://" + path,
          range: code_range.to_lsp,
        }
      end
    )
  else
    respond(nil)
  end
end