Re: %push-* -> %define push_pull

[Paolo Bonzini]

>   /**
>    * Entry point for the scanner.  Returns the token identifier corresponding
>    * to the next token and ]b4_pure_if([prepares to return], [stores])[
>    * the semantic value]b4_locations_if([ and beginning/ending positions])[
>    * of the token.
>    * @@return the token identifier corresponding to the next token. */
>   int yylex () ]b4_maybe_throws([b4_lex_throws])[;
>
> Aren't Java interfaces always pure?  That is, it seems that the user 
> should be warned that `%define api.pure' has no effect for Java.

Yes, I have a patch for that but I never finished it.  Will work on it soon.

Paolo