From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27990 invoked by alias); 7 Dec 2004 18:58:57 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 27954 invoked from network); 7 Dec 2004 18:58:51 -0000 Received: from unknown (HELO lakermmtao01.cox.net) (68.230.240.38) by sourceware.org with SMTP; 7 Dec 2004 18:58:51 -0000 Received: from white ([68.9.64.121]) by lakermmtao01.cox.net (InterMail vM.6.01.04.00 201-2131-117-20041022) with ESMTP id <20041207185848.SXEN19108.lakermmtao01.cox.net@white>; Tue, 7 Dec 2004 13:58:48 -0500 Received: from bob by white with local (Exim 3.35 #1 (Debian)) id 1CbkXx-0003GB-00; Tue, 07 Dec 2004 13:58:49 -0500 Date: Tue, 07 Dec 2004 18:58:00 -0000 From: Bob Rossi To: Konstantin Karganov Cc: Eli Zaretskii , gdb@sources.redhat.com Subject: Re: complete GDB MI specification Message-ID: <20041207185849.GA12487@white> Mail-Followup-To: Konstantin Karganov , Eli Zaretskii , gdb@sources.redhat.com References: <3616850089.20041129165854@ispras.ru> <41AB43C8.7050500@gnu.org> <13730878711.20041129205245@ispras.ru> <18220744048.20041206192130@ispras.ru> <01c4dbd6$Blat.v2.2.2$0b225460@zahav.net.il> <429477215.20041207214436@ispras.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <429477215.20041207214436@ispras.ru> User-Agent: Mutt/1.3.28i X-SW-Source: 2004-12/txt/msg00043.txt.bz2 > > There was a long series of discussions about a month ago, either here > > or on gdb-patches. Search for "MI" in the archives, and you will find > > a patch with a formal parser grammar for the MI interface. > Looked through several (a lot, actually!) discussions and didn't found > what I need. There were several syntax patches and grammar > transformations (mostly by Bob Rossi and Michael Chastain), but all of > them concern general syntax of MI output but don't go into details and > the output semantics. I have not had any time to work lately. However, when I get time again, I plan on formalizing the grammar and hopefully running a parser off of this grammar through the MI testsuite to verify GDB's output. Also, I plan on updating the doco to match the actual grammar. I want to do this because I plan on using this grammar to write a parser capable of working with GDB for my own personal Free Software project. > > Please report all such unclear cases, and I will try to fix them. > Look at the structure of MI description: there are the command syntax > with explanation and the example of the output. Just an example > instead of complete output specification. Yes, it fits the general case > of " var=value (,var=value)* " syntax but the actual semantics and > possible value pairs are not specified. That is for all commands. As for semantics, I have not made it this far .... > Anyway, it looks weird if no rigorous specification of MI output > exist. IMHO it means (if it is) that no one uses MI in real systems > (except the tests and demo purposes)... Well, if you plan on doing this, as I do, it would be helpful if there were some place's in GDB's doco that we could contribute back information that we think is helpful. Meaning if you need semantic information and then you find out about it, document it somewhere in GDB. This information could be useful later on. Especially if I ever get around to verifying the MI testsuite with an MI parser. At that point, not only could we verify the syntax but we could make sure some of the semantics are correct too. Thanks, Bob Rossi