Re: [PATCH:doc] GDB/MI attribute names

[Vladimir Prus <vladimir@codesourcery.com>]

Nick Roberts wrote:

>  > Does that reflect correctly what you wanted to say?
> 
> I'm not sure.  To me, thay're not really variables but a field names (or
> attribute names in HTML/XML parlance).  It might mean the value rather than
> the name.
> 
> How about:
> 
>    @var{variable} names should be specified as a sequence of alphabetic
>    characters and underscores.

It seem to me to introduce too many indirection levels. We don't have something
called 'variable' that also has name, that is also 'specified' by something
separate. Why not:

     The @var{variable} nonterminal in the above grammar may contain only
     alphanumeric characters or the underscore character.

? This is probably not 100% accurate either, since nonterminals do not contain
characters but have terminal strings derived from them, which strings consist of 
characters, but I presume we're not writing a PhD here ;-)      

- Volodya