From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dmitry Gutov Newsgroups: gmane.emacs.devel Subject: Re: Adding support for xref jumping to headers/interfaces Date: Tue, 28 Feb 2023 23:53:59 +0200 Message-ID: <330274c6-7d13-ac55-9cee-e801e91b3255@yandex.ru> References: <83bklin83z.fsf@gnu.org> <865ybmu2ha.fsf@stephe-leake.org> <39e25c9a-b4cc-a0ce-3f2a-1d2a1fc243d0@yandex.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37810"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Cc: Stephen Leake , Eli Zaretskii , Spencer Baugh , Emacs developers , azeng@janestreet.com To: John Yates , Yuan Fu Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Feb 28 22:55:01 2023 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pX7w1-0009Z8-DZ for ged-emacs-devel@m.gmane-mx.org; Tue, 28 Feb 2023 22:54:57 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pX7vD-00081f-IF; Tue, 28 Feb 2023 16:54:07 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pX7vB-00081D-Un for emacs-devel@gnu.org; Tue, 28 Feb 2023 16:54:05 -0500 Original-Received: from mail-wr1-x42c.google.com ([2a00:1450:4864:20::42c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pX7vA-0003h4-5A; Tue, 28 Feb 2023 16:54:05 -0500 Original-Received: by mail-wr1-x42c.google.com with SMTP id bx12so8128987wrb.11; Tue, 28 Feb 2023 13:54:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1677621242; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:from:to:cc:subject:date:message-id:reply-to; bh=5uvIsyFNs46t+2OKfTqedrs+zfES3rmOqv02mF3XDyE=; b=gbytoaKhkncxsRi3dw4VQGbTkzbJ1F4c/5PAcSdypv7kLNPuQ/iuWvhzIG6JgnvtRR DiR/n195rSzCZ+BAzPpO1rTqy6d23ASl9bNLXw4Z++wrJhR+rQYrHgg6glMVC1ih9wUb u7OWi/4GFfo0qhYfhw+a4BZUfFDjqkJMe3s4YBOlRhKBI3+zD4JseXJNn8J6byU7Cnar NqCAbb9kXNjqRdzmpiV0DNylLSoGkhfjl+zM1RzlAuYn9cSwwS+HghDdqVI1jEcHTE5q 8lgwlgbEVs7yLwGpDTfa0sG3mbqGH0upzfvZv0jsnqKAeUd9vF6PoXl5qGwj/e/qOXFK ROyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1677621242; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :sender:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=5uvIsyFNs46t+2OKfTqedrs+zfES3rmOqv02mF3XDyE=; b=b+BCyAhKtqq/awmJnxqNHWZr3yrMEn4lmiyqXwTurbok1TsoO1kvt4MeEARCcBZ5xY p5vuFOUusszEpMs56+D5ncj5ceOyzEhNkLS1pDEtGaT6XSsvw7RibLwL86Pcwg7+F5Ok /2LGhW5lXhdwzdnXPcvcmWfRv6Mjqy5ni7XCON8J2a3CU9NrB6eiURcYuqPX+ujkK7Oh dQFhgcoKo4glcIBDb5KHJoXO1rWAptZKxfwgC+ZbupTvwy6ARW62KxeS2vI36FCXCVTF loR1+y2h4pFJlv6lftZp3wVB5fO+xv04oSqc0NcLzzRahiEEVpHvuN+8SiQM+ALZWzqX hD2w== X-Gm-Message-State: AO0yUKWFD+N/h5DhTZv2CkjM17tHd0V/HfLLFz9lmYh/Irn7SksCGG85 bPIh8pyMS09X8Ql5tjtXwwI= X-Google-Smtp-Source: AK7set8zDFVpOhZ2wgP9ZRgYH6qiyMY+WsfAaEdmxF4RxE/lU3gtWAAjUqNJWi9S+uo7iD7FneWpAQ== X-Received: by 2002:a5d:598b:0:b0:2c5:67e3:808d with SMTP id n11-20020a5d598b000000b002c567e3808dmr9825048wri.35.1677621241876; Tue, 28 Feb 2023 13:54:01 -0800 (PST) Original-Received: from [192.168.0.2] ([46.251.119.176]) by smtp.googlemail.com with ESMTPSA id z19-20020a05600c0a1300b003e4326a6d53sm17159150wmp.35.2023.02.28.13.54.00 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 28 Feb 2023 13:54:01 -0800 (PST) Content-Language: en-US In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::42c; envelope-from=raaahh@gmail.com; helo=mail-wr1-x42c.google.com X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.25, NICE_REPLY_A=-0.092, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:303869 Archived-At: On 28/02/2023 23:40, John Yates wrote: > On Mon, Feb 27, 2023 at 7:19 PM Yuan Fu wrote: >> I think “interface” is widely used and conveys the meaning well. Java, Clojure and Javascript call them interfaces, too. > In the C++ community the term 'interface' is part of the > vernacular, especially within the TLAs API and ABI. But would you call that navigation "jumping to method's interface(s)"? AFAIK, in Java you still call the method definitions inside an interface (file/entity) "method declarations". Unless it's a "default" method, available with Java 8+. Clojure is similarly able to define Java interfaces (with no special term for methods enumerated inside, AFAIK), or Protocols (methods inside are called "protocol methods", but it would probably be fair to call them "declarations" as well). More importantly, I guess, in both Java or C/C++ you can have method declarations that are not part of an "interface". E.g. you have some class with abstract method or several. The LSP protocol uses the term "declaration", so we probably won't make too much of a mistake reusing that term. But, indeed, it sounds similar enough to "definition".