Commit Graph

4446 Commits

Author SHA1 Message Date
Akim Demaille
c50263271d %printer: support both yyo and yyoutput.
lalr1.cc used to support yyo, but not yyoutput.  Support both,
but document only yyoutput (at least until there is some consensus
on this).

* data/c.m4 (yy_symbol_value_print): Also support yyo.
* data/glr.cc  (yy_symbol_value_print_): Support both yyo and yyoutput.
* data/lalr1.cc: Also support yyoutput.
* doc/bison.texinfo: Explicitly use yyoutput in the examples.
* examples/mfcalc/mfcalc.test: Test the -p option.
2012-04-16 17:04:14 +02:00
Akim Demaille
93c150b666 doc: mfcalc: demonstrate %printer.
* doc/bison.texinfo (Printer Decl): New.
Number mfcalc.y snippets so that they are output in
the proper order.
(The mfcalc Main): Use yydebug.
(Debugging): Simplify the text.
(Enabling Traces, Mfcalc Traces, The YYPRINT Macro): New.
(Table of Symbols): Document YYPRINT and YYFPRINTF.
2012-04-16 17:04:14 +02:00
Akim Demaille
abcd36ca1b tests: style changes.
* tests/input.at: Use "print" in %printer instead of "destroy".
It is unused, so we don't care, yet it is less surprising.
* tests/actions.at: Comment changes.
2012-04-16 17:04:13 +02:00
Akim Demaille
746ac9aa81 tests: fix bison wrapper.
* tests/bison.in (PERL): Fix.
2012-04-08 12:07:49 +02:00
Akim Demaille
e3fd1dcb8b doc: fix some invalid @ref.
* doc/bison.texinfo: Fix incorrect @ref uses.
2012-04-08 10:18:17 +02:00
Akim Demaille
830e733076 build: extexi: support out-of-order blocks.
* examples/extexi (%file_output): Remove.
(&process): Accept "FILE: BLOCK-NUM" requests.
2012-04-08 09:49:06 +02:00
Akim Demaille
5aaad6c431 build: look for Perl in configure.
Bison uses "/usr/bin/perl" or "perl" in several places, and it does
not appear to be a problem.  But, at least to make it simpler to
change PERL on the make command line, check for perl in configure.

* configure.ac (PERL): New.
* doc/Doxyfile.in, doc/local.mk, examples/local.mk,
* tests/bison.in: Use it.
2012-04-08 09:49:06 +02:00
Akim Demaille
8e15fef554 maint: rewrite extexi in Perl.
* examples/extexi: Rewrite in Perl.
* examples/local.mk (extract): Adjust.
2012-04-08 09:49:06 +02:00
Akim Demaille
ed0e63dc0a build: simplify clean.
* doc/local.mk (CLEANFILES): Since the previous commit,
there a no longer such files.
* Makefile.in (CLEANFILES): Initialize here.
2012-04-07 14:58:12 +02:00
Akim Demaille
45d4c012d3 build: fix distcheck issues.
For some reason it seems that texi2dvi -o no longer forces --clean
mode, so we have stray TeX compilation files staying in top_builddir
since TeX is run from there.

While at it, upgrade the generation of the (completely obsolete)
reference card.  Target PDF.

* doc/local.mk (TEXI2DVI): Pass --build-dir.
(CLEANDIRS): More accurate.
(doc/refcard.dvi): Replace with...
(doc/refcard.pdf): this.
Adjust dependencies.
2012-04-01 15:09:54 +02:00
Akim Demaille
da83f83821 build: don't rely on $< in non-pattern rules.
* doc/local.mk, tests/local.mk: here.
Reported by Stefano Lattarini.
2012-04-01 15:09:09 +02:00
Akim Demaille
d243e0241f doc: upgrade Doxyfile.
* doc/Doxyfile.in: Run doxygen -u.
Prompted by Tim Landscheidt.
2012-04-01 14:22:10 +02:00
Akim Demaille
c850546ab3 doc: help Doxygen find our files.
* doc/Doxyfile.in (INCLUDE_PATH): here.
2012-04-01 14:22:10 +02:00
Tim Landscheidt
ed3c2b915f Fix Doxygen generation and clean-up.
* doc/Doxyfile.in: Amend OUTPUT_DIRECTORY.
* doc/local.mk (html-local): Amend working directory.
(CLEANDIRS): Fix "html", remove "latex".
2012-04-01 14:22:05 +02:00
Tim Landscheidt
544b863511 Fix Doxygen comment.
* src/InadequacyList.h: s#</t>#</tt>#.
2012-04-01 14:07:31 +02:00
Akim Demaille
eeaf1dc646 c++: more YY_NULL
Caught by maintainer-check-g++.
* data/glr.c, data/lalr1.cc, data/yacc.c, tests/cxx-type.at,
* tests/glr-regression.at, tests/push.at:
When simple to do, avoid expliciting the null ptr.
Otherwise use YY_NULL.
2012-04-01 13:42:46 +02:00
Akim Demaille
3e75a2c92b Merge remote-tracking branch 'origin/maint'
* origin/maint:
  bump to 2012 in skeletons.
  build: remove ancient Autoconf tests.
  doc: c++: complete the location documentation.
  c++: locations: provide convenience constructors.
  c++: locations: remove useless "inline".
  glr: do not use locations when they are not requested
  c++: use nullptr for C++11.
  build: simplify and improve the compiler warnings for tests.
  gnulib: update.
  maint: formatting changes.
  NEWS: update.
  Java: Fix syntax error handling without error token.
  tests: beware of -pedantic on large #line numbers.
  tests: when using the C++ compiler, use its flags too.

Conflicts:
	data/glr.c
	data/glr.cc
	data/lalr1.cc
	data/location.cc
	data/yacc.c
	tests/Makefile.am
2012-04-01 13:14:34 +02:00
Akim Demaille
681dda24ba bump to 2012 in skeletons.
* data/glr.c, data/glr.cc, data/lalr1.cc, data/lalr1.java,
* data/location.cc, data/yacc.c: Bump copyright year ranges.
2012-04-01 12:16:46 +02:00
Akim Demaille
059736b7b5 build: remove ancient Autoconf tests.
lib/subpipe.c was removed in 47fa574761.

* m4/subpipe.m4: Remove.
* configure.ac (BISON_PREREQ_SUBPIPE): Remove.
2012-04-01 12:16:46 +02:00
Akim Demaille
936c88d178 doc: c++: complete the location documentation.
* data/location.cc (position::initialize, location::initialize):
Also accept line and column, with default values.
* doc/bison.texinfo (C++ position, C++ location): New nodes.
Describe more thoroughly these classes.
Fix several Texinfo misuses.
2012-03-31 12:30:10 +02:00
Akim Demaille
2091988f7e c++: locations: provide convenience constructors.
* data/location.cc (position::position): Accept file, line and
column as arguments with default values.
Always qualify initial line and column literals as unsigned.
(location::location): Provide convenience constructors.
(cherry picked from commit 0634493cdd)

Conflicts:

	ChangeLog-2012
	data/location.cc
2012-03-31 11:23:45 +02:00
Akim Demaille
2a1bd0d7fe c++: locations: remove useless "inline".
* data/location.cc: "inline" is implicit when defining
methods in the class definition.
2012-03-31 11:23:45 +02:00
Akim Demaille
769a8ef9bc glr: do not use locations when they are not requested
When the test suite runs with -O2 and warnings enabled, G++
complains of locations being used, but not initialized.
The simplest is to not use locations.

* data/glr.c (b4_locuser_formals, b4_locuser_args): New.
Use them when locations should not be used.
Use b4_locations_if where appropriate.
(yyuserAction): Modify the order to the arguments to make
it more alike the other routines, and to make use of
b4_locuser_args simpler.
2012-03-31 11:23:44 +02:00
Akim Demaille
ef51bfa744 c++: use nullptr for C++11.
C++11 introduces "nullptr" which plays the role of C's NULL, in
replacement of "0".  Fix the C++ skeletons to avoid warnings about
uses of "0" in place of "nullptr", and improve C skeletons to also use
this "nullptr" when compiled with a C++11 compiler.

* configure.ac: More C++ warnings.
* NEWS (2.5.1): Document this.
* data/c++.m4, data/c.m4 (b4_null_define): New.
(b4_null): Use YY_NULL instead of 0.
* data/glr.c, data/lalr1.cc, data/location.cc, data/yacc.c:
Call b4_null_define/b4_null where appropriate.
Use YY_NULL instead of NULL.
* data/location.cc (initialize): Accept a default argument,
YY_NULL.
* tests/actions.at, tests/calc.at: Adjust.

* data/glr.c, lib/libiberty.h, src/system.h (__attribute__):
Do not disable it when __STRICT_ANSI__ is defined, as, for
instance, it disables the __attribute__((unused)) which
protects us from some compiler warnings.
This was already done elsewhere in Bison, in 2001, see
4a0d893695.
* tests/regression.at: Adjust output.
2012-03-31 11:12:28 +02:00
Akim Demaille
e85056ef5f build: simplify and improve the compiler warnings for tests.
* configure.ac (warn_common, warn_c, warn_cxx): New.
Use them to compute independently the options supported
by the C and C++ compilers.
Don't AC_SUBST the variables passed to gl_WARN_ADD: it
does it for us.
(WARN_CFLAGS_TEST, WARN_CXXFLAGS_TEST): Don't aggregate
$WARN_CFLAGS and $WARN_CXXFLAGS in them now, leave it
to atlocal.in.
(O0CFLAGS, O0CXXFLAGS): Move their definition to...
* tests/atlocal.in: here.
Be more systematic between C and C++.
Reorder to factor between variables.
Propagate all of the variables when --compile-c-with-cxx.
2012-03-30 14:55:57 +02:00
Akim Demaille
62e5fc6ac9 gnulib: update. 2012-03-30 14:23:51 +02:00
Akim Demaille
37e884cd9a maint: formatting changes.
* src/system.h: Indent CPP directives using cppi.
2012-03-30 14:23:49 +02:00
Akim Demaille
041308d0c0 NEWS: update.
* NEWS: Java fixes, more about the doc changes, liby issues.
2012-03-27 15:21:29 +02:00
Tim Landscheidt
e34e97bcd7 Java: Fix syntax error handling without error token.
* data/lalr1.java (YYParser::parse): Here.
* tests/java.at: Add test case.
2012-03-27 15:21:28 +02:00
Akim Demaille
bbaf618c3e tests: beware of -pedantic on large #line numbers.
* tests/local.at (AT_TEST_TABLES_AND_PARSE): Don't pass -pedantic
when compiling large canonical-LR parsers.
Reported by Tys Lefering.
http://lists.gnu.org/archive/html/bug-bison/2012-03/msg00025.html
(cherry picked from commit 8ec3110a9e)
2012-03-24 14:38:58 +01:00
Akim Demaille
c84134b644 tests: when using the C++ compiler, use its flags too.
* tests/local.at: Go for colors.
(--compile-c-with-cxx): New option.
We used to pass "CC=$CXX" as command line argument,
but it was not possible to adjust CFLAGS accordingly
in atlocal, since it is loaded before assignments on
the command line are honored (so that the command line
takes precedence).
* tests/atlocal.in: Implement it.
* tests/local.mk: Use it.
(cherry picked from commit ac3f2e33b4)

Conflicts:

	tests/local.mk
2012-03-24 14:37:32 +01:00
Akim Demaille
24d84dd26c tests: style changes in the Makefile.
* tests/local.mk: Prefer passing variable assignment by
the command line, instead of the environment, so that it
is reported in the logs.
Prefer single quotes for shell literal strings.
2012-03-24 14:26:24 +01:00
Akim Demaille
8ec3110a9e tests: beware of -pedantic on large #line numbers.
* tests/local.at (AT_TEST_TABLES_AND_PARSE): Don't pass -pedantic
when compiling large canonical-LR parsers.
Reported by Tys Lefering.
http://lists.gnu.org/archive/html/bug-bison/2012-03/msg00025.html
2012-03-24 14:19:39 +01:00
Akim Demaille
ac3f2e33b4 tests: when using the C++ compiler, use its flags too.
* tests/local.at: Go for colors.
(--compile-c-with-cxx): New option.
We used to pass "CC=$CXX" as command line argument,
but it was not possible to adjust CFLAGS accordingly
in atlocal, since it is loaded before assignments on
the command line are honored (so that the command line
takes precedence).
* tests/atlocal.in: Implement it.
* tests/local.mk: Use it.
2012-03-24 14:19:38 +01:00
Akim Demaille
ff9684b720 tests: fix dependencies.
* tests/local.mk (check_SCRIPTS): Add atlocal and atconfig so
that they are properly updated before running tests.
(RUN_TESTSUITE_deps): New.
Use it to factor the dependencies of "*-check" targets,
especially those that don't bounce to the regular
"check-local" target, since then they don't benefit from the
proper dependencies (such as atlocal).
2012-03-24 14:19:38 +01:00
Akim Demaille
70986d84bc Merge remote-tracking branch 'fsf/maint'
* fsf/maint: (404 commits)
  doc: update the --verbose report format.
  doc: spell check.
  doc: stmt, not stmnt.
  doc: save width.
  doc: reformat grammar snippets.
  doc: use only @example, not @smallexample.
  doc: style changes.
  doc: minor fixes to "Understanding" section
  tests: minor fixes/simplifications
  tests: be robust to quote style.
  maint: update gnulib.
  tests: be robust to POSIXLY_CORRECT being defined.
  doc: fix environment issues.
  regen.
  tests: fix regressions.
  glr: fix ambiguity reports.
  doc: stylistic improvements.
  maint: address sc_prohibit_doubled_word.
  maint: address sc_prohibit_always-defined_macros.
  maint: address sc_bindtextdomain, sc_program_name and sc_prohibit_HAVE_MBRTOWC.
  ...
2012-03-19 11:35:46 +01:00
Akim Demaille
62243aa576 doc: spell fix.
* doc/bison.texinfo: here.
Reported by Tim Landscheidt.
2012-03-19 11:16:06 +01:00
Akim Demaille
84c1cdc71d doc: update the --verbose report format.
* doc/bison.texinfo (Understanding): Adjust to match the
current format.
(cherry picked from commit 29e20e22e0)
2012-03-19 11:13:27 +01:00
Akim Demaille
56da1e5288 doc: spell check.
* doc/bison.texinfo: here.
(cherry picked from commit 5a321748e2)

Conflicts:

	doc/bison.texinfo
2012-03-19 11:11:51 +01:00
Akim Demaille
0765d39396 doc: stmt, not stmnt.
* doc/bison.texinfo: s/stmnt/stmt/g.  This is a
much more common abbreviation for "statement".
(cherry picked from commit 0860e38311)
2012-03-19 11:11:09 +01:00
Akim Demaille
6528a99151 doc: save width.
* doc/bison.texinfo (Language and Grammar): Use the same
layout for an example in all the versions, i.e., keep
as general case what used to be used only for Info.
(cherry picked from commit 1d280c0999)
2012-03-19 11:10:50 +01:00
Akim Demaille
de6be119ca doc: reformat grammar snippets.
* doc/bison.texinfo: Convert the grammar examples to
use a narrower style.  This helps fitting into the
@smallbook constraints.
http://lists.gnu.org/archive/html/bison-patches/2012-03/msg00011.html
(cherry picked from commit 5e9b6624d7)

Conflicts:

	doc/bison.texinfo
2012-03-19 11:06:35 +01:00
Akim Demaille
ea118b7262 doc: use only @example, not @smallexample.
* doc/bison.texinfo: Convert all @smallexamples into @examples.
Adjust layout where needed.
(cherry picked from commit c93f22fcf7)

Conflicts:

	doc/bison.texinfo
2012-03-19 11:04:50 +01:00
Akim Demaille
2c0f97066e doc: style changes.
* doc/bison.texinfo: Avoid line width issues with TeX.
Upgrade ancient messages.
Move some comments to better looking places.
Add more @group.
(Mfcalc Symbol Table): Reduce variable scopes.
Prefer size_t for sizes.
Prefer declarations with an initial value.
Fix a @group environment.
(cherry picked from commit aaaa2aaef4)

Conflicts:

	doc/bison.texinfo
2012-03-19 10:57:16 +01:00
Paul Eggert
d13d14ccb2 doc: minor fixes to "Understanding" section
* doc/bison.texinfo (Understanding): Minor wording fixes and
improvements.  Fixes problems reported in
<https://savannah.gnu.org/patch/?4306>.
(cherry picked from commit 35880c82dc)
2012-03-19 10:51:32 +01:00
Akim Demaille
29e20e22e0 doc: update the --verbose report format.
* doc/bison.texinfo (Understanding): Adjust to match the
current format.
2012-03-19 10:44:05 +01:00
Akim Demaille
5a321748e2 doc: spell check.
* doc/bison.texinfo: here.
2012-03-19 10:44:05 +01:00
Akim Demaille
0860e38311 doc: stmt, not stmnt.
* doc/bison.texinfo: s/stmnt/stmt/g.  This is a
much more common abbreviation for "statement".
2012-03-19 10:44:04 +01:00
Akim Demaille
1d280c0999 doc: save width.
* doc/bison.texinfo (Language and Grammar): Use the same
layout for an example in all the versions, i.e., keep
as general case what used to be used only for Info.
2012-03-19 10:44:04 +01:00
Akim Demaille
5e9b6624d7 doc: reformat grammar snippets.
* doc/bison.texinfo: Convert the grammar examples to
use a narrower style.  This helps fitting into the
@smallbook constraints.
http://lists.gnu.org/archive/html/bison-patches/2012-03/msg00011.html
2012-03-19 10:44:04 +01:00