From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7451 invoked by alias); 7 Dec 2004 19:42:42 -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 7354 invoked from network); 7 Dec 2004 19:42:33 -0000 Received: from unknown (HELO legolas.inter.net.il) (192.114.186.24) by sourceware.org with SMTP; 7 Dec 2004 19:42:33 -0000 Received: from zaretski ([80.230.156.125]) by legolas.inter.net.il (MOS 3.5.5-GR) with ESMTP id DHB72309 (AUTH halo1); Tue, 7 Dec 2004 21:42:24 +0200 (IST) Date: Tue, 07 Dec 2004 19:42:00 -0000 From: "Eli Zaretskii" To: Konstantin Karganov Message-ID: <01c4dc95$Blat.v2.2.2$0f2f1c40@zahav.net.il> Content-Transfer-Encoding: 7BIT Content-Type: text/plain; charset=ISO-8859-1 CC: gdb@sources.redhat.com In-reply-to: <429477215.20041207214436@ispras.ru> (message from Konstantin Karganov on Tue, 7 Dec 2004 21:44:36 +0300) Subject: Re: complete GDB MI specification Reply-to: Eli Zaretskii 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> X-SW-Source: 2004-12/txt/msg00044.txt.bz2 > Date: Tue, 7 Dec 2004 21:44:36 +0300 > From: Konstantin Karganov > CC: gdb@sources.redhat.com > > "Note that the current ``grammar'' in the MI documentation, at least as > far as I'm concerned, is meant to be an informal introduction of the > MI syntax, not a rigurous grammar description. This is known, of course. Volunteers are welcome to rewrite the MI documentation more rigorously. I was happy enough to get my hands on _any_ documentation, and needed to do non-trivial amounts of work to bring it to the state where it could be integrated into gdb.texinfo. > And this is the problem! MI is supposed to be a program-to-program > interface and thus needs a complete formal description (at least, to be > sure that all possible output is handled correctly). I agree, but no one volunteered yet to produce such a formal description. (And I'm not sure such a description should be in the manual, anyway.) > Looked through several (a lot, actually!) discussions and didn't found > what I need. Sorry, I thought a grammar was posted, but perhaps I was mistaken. > > 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. If an example is clear and tells enough to explain what to expect, then it's fine by me. If you find incorrect or misleading examples, please point them out, and please tell what is misleading about them. I appreciate your comments, but to fix the manual, I need them to be more specific. > 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)... Rest assured that it _is_ used, in real-life systems.