From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stephen Leake Newsgroups: gmane.emacs.devel Subject: Re: Emacs contributions, C and Lisp Date: Tue, 25 Feb 2014 08:39:13 -0600 Message-ID: <85wqgj45pq.fsf@stephe-leake.org> References: <52FE2985.4070703@yandex.ru> <831tz5daes.fsf@gnu.org> <8738jlohd6.fsf@yandex.ru> <83txc1bl83.fsf@gnu.org> <5300189A.9090208@yandex.ru> <83wqgv9fbj.fsf@gnu.org> <20140216180712.236069f6@forcix.jorgenschaefer.de> <87wqgr4v18.fsf@yandex.ru> <53064BD0.7070009@yandex.ru> <87ha7tr5bo.fsf@fencepost.gnu.org> <87ppmhecd8.fsf@yandex.ru> <87y50z90pd.fsf@fencepost.gnu.org> <87txbn8r6x.fsf@fencepost.gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1393339314 10953 80.91.229.3 (25 Feb 2014 14:41:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 25 Feb 2014 14:41:54 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Feb 25 15:42:03 2014 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WIJAS-0001tB-2z for ged-emacs-devel@m.gmane.org; Tue, 25 Feb 2014 15:39:32 +0100 Original-Received: from localhost ([::1]:35270 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIJAR-00053U-Ke for ged-emacs-devel@m.gmane.org; Tue, 25 Feb 2014 09:39:31 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36798) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIJAJ-0004tx-JB for emacs-devel@gnu.org; Tue, 25 Feb 2014 09:39:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WIJAE-000839-KE for emacs-devel@gnu.org; Tue, 25 Feb 2014 09:39:23 -0500 Original-Received: from cdptpa-outbound-snat.email.rr.com ([107.14.166.225]:35255 helo=cdptpa-oedge-vip.email.rr.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIJAE-00082g-EP for emacs-devel@gnu.org; Tue, 25 Feb 2014 09:39:18 -0500 Original-Received: from [75.87.81.6] ([75.87.81.6:50214] helo=TAKVER) by cdptpa-oedge03 (envelope-from ) (ecelerity 3.5.0.35861 r(Momo-dev:tip)) with ESMTP id 7B/81-02678-21BAC035; Tue, 25 Feb 2014 14:39:15 +0000 In-Reply-To: <87txbn8r6x.fsf@fencepost.gnu.org> (David Kastrup's message of "Tue, 25 Feb 2014 10:41:42 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt) X-RR-Connecting-IP: 107.14.168.142:25 X-Cloudmark-Score: 0 X-detected-operating-system: by eggs.gnu.org: BaiduSpider X-Received-From: 107.14.166.225 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:169859 Archived-At: David Kastrup writes: > In this particular case, the "annotated syntax tree" question in > particular is mostly uninteresting since we are talking about > characterizing identifiers. It is "mostly" uninteresting since the > resolution of an identifier depends on scopes, so the basic question > that likely needs solving is "given the following source location and > the following identifier, what data structures and definitions does it > refer to". Resolving identifiers based on source location efficiently > will require suitable data structures, and any daemon answering > questions accordingly will have to get raw data for building them. > > Accessing that raw data and preparing a dump suitable for turning into a > data structure for such a daemon would seem like an obvious case for a > GCC plugin. So we are getting more at something like "source location > dependent data structure dump" here. That is what 'gcc -fdump-xref' does now. AdaCore provides a tool 'gnatinspect' that reads that data and answers queries about it: http://libre.adacore.com/, gnatcoll package. Emacs Ada mode 5.0.1 (in Gnu ELPA) has experimental code to start gnatinspect in a process and feed it queries, for Ada, C, C++. -- -- Stephe