[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: terminal @number vs. @user-number
From: |
Joel E. Denny |
Subject: |
Re: terminal @number vs. @user-number |
Date: |
Wed, 24 Oct 2007 16:55:51 -0400 (EDT) |
On Wed, 24 Oct 2007, Hans Aberg wrote:
> On 21 Oct 2007, at 23:46, Joel E. Denny wrote:
>
> > Currently, Bison puts a terminal's user number (the one returned by yylex)
> > in its XML "number" attribute. I think we should rename that to
> > "user-number" and add a "number" attribute for Bison's internal symbol
> > number. This would be more consistent with nonterminals. I'd be happy
> > the write the patch. Is all this agreeable to you, Wojciech?
>
> Perhaps giving more sci-tech names :-):
>
> The token number variable might be termed "token-number". The set of terminals
> and non-terminals is technically called "vocabulary", so the yytname_[]
> values, if that is what you mean, might be called "word-number" or something.
What about @symbol-number and @token-number?
> As for changing the token numbers, one needs to make sure POSIX does not
> require something, like a range starting value.
I feel that we should not change them.