From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-return-20854-listarch-gdb=sources.redhat.com@sources.redhat.com>
Received: (qmail 25476 invoked by alias); 9 Mar 2005 00:02:02 -0000
Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm
Precedence: bulk
List-Subscribe: <mailto:gdb-subscribe@sources.redhat.com>
List-Archive: <http://sources.redhat.com/ml/gdb/>
List-Post: <mailto:gdb@sources.redhat.com>
List-Help: <mailto:gdb-help@sources.redhat.com>, <http://sources.redhat.com/ml/#faqs>
Sender: gdb-owner@sources.redhat.com
Received: (qmail 25416 invoked from network); 9 Mar 2005 00:01:56 -0000
Received: from unknown (HELO lakermmtao12.cox.net) (68.230.240.27)
  by sourceware.org with SMTP; 9 Mar 2005 00:01:56 -0000
Received: from white ([68.9.64.121]) by lakermmtao12.cox.net
          (InterMail vM.6.01.04.00 201-2131-118-20041027) with ESMTP
          id <20050309000149.KPMP2476.lakermmtao12.cox.net@white>
          for <gdb@sources.redhat.com>; Tue, 8 Mar 2005 19:01:49 -0500
Received: from bob by white with local (Exim 3.35 #1 (Debian))
	id 1D8oe8-0002q3-00
	for <gdb@sources.redhat.com>; Tue, 08 Mar 2005 19:01:52 -0500
Date: Wed, 09 Mar 2005 00:02:00 -0000
From: Bob Rossi <bob@brasko.net>
To: GDB <gdb@sources.redhat.com>
Subject: [mi] MI grammar question
Message-ID: <20050309000152.GA10866@white>
Mail-Followup-To: GDB <gdb@sources.redhat.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
X-SW-Source: 2005-03/txt/msg00081.txt.bz2

Hi,

I'm still working on refining the MI grammar in the documentation. I
think I found a case that is only possible in the grammar but not
possible to have the MI actually output.

   output ==> ( out-of-band-record )* [ result-record ] "(gdb)" nl
   result-record ==> [ token ] "^" result-class ( "," result )* nl
   out-of-band-record ==> async-record | stream-record
   async-record ==> exec-async-output | status-async-output | notify-async-output
   exec-async-output ==> [ token ] "*" async-output
   status-async-output ==> [ token ] "+" async-output
   notify-async-output ==> [ token ] "=" async-output
   async-output ==> async-class ( "," result )* nl

The above shows that there can be 0 or more out-of-band-record's. And
each out-of-band-record can have an async-record. 

Is it really possible to get more than one async-record in a single MI
output command?

If not, I can re-arrange the grammar to have the async-record go along
with the result-record. Also, I can probably merge the optional "token"
so that it will only appear in one place.

If my hunch above is correct, I'll post another modified grammar that
will be much more simple.

Thanks,
Bob Rossi