doc: merge HACKING and README-hacking.

[bison.git] / tests / push.at

diff --git a/tests/push.at b/tests/push.at
index 16ca41322af6bee5a3a852dade1caaf5d9b74ddc..70c1fdce2062a1793376ac3b2c8af37eaa6cb19c 100644 (file)
--- a/tests/push.at
+++ b/tests/push.at
@@ -33,7 +33,7 @@ AT_DATA_GRAMMAR([[input.y]],
   void yyerror (char const *msg);
 %}
 
   void yyerror (char const *msg);
 %}
 

-%pure-parser %push-parser
+%define api.pure %define api.push_pull "push"

 
 %%
 
 
 %%
 


@@ -71,19 +71,19 @@ main (void)
 }
 ]])
 
 }
 ]])
 

-AT_CHECK([[bison -o input.c input.y]])
+AT_BISON_CHECK([[-o input.c input.y]])

 AT_COMPILE([[input]])
 AT_PARSER_CHECK([[./input]])
 
 AT_CLEANUP
 
 AT_COMPILE([[input]])
 AT_PARSER_CHECK([[./input]])
 
 AT_CLEANUP
 

-

 ## ----------------------------------------- ##
 ## Push Parsing: Multiple impure instances.  ##
 ## ----------------------------------------- ##
 
 AT_SETUP([[Push Parsing: Multiple impure instances]])
 
 ## ----------------------------------------- ##
 ## Push Parsing: Multiple impure instances.  ##
 ## ----------------------------------------- ##
 
 AT_SETUP([[Push Parsing: Multiple impure instances]])
 

+m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [

 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{
 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{


@@ -93,7 +93,7 @@ AT_DATA_GRAMMAR([[input.y]],
   int yylex (void);
 %}
 
   int yylex (void);
 %}
 

-%push-pull-parser
+%define api.push_pull "]$1["

 
 %%
 
 
 %%
 


@@ -124,11 +124,11 @@ main (void)
       ps = yypstate_new ();
       assert (ps);
       assert (yypstate_new () == NULL);
       ps = yypstate_new ();
       assert (ps);
       assert (yypstate_new () == NULL);

-      assert (yyparse () == 2);
+      ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;

       yychar = 0;
       assert (yypush_parse (ps) == 0);
       assert (yypstate_new () == NULL);
       yychar = 0;
       assert (yypush_parse (ps) == 0);
       assert (yypstate_new () == NULL);

-      assert (yyparse () == 2);
+      ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;

       yypstate_delete (ps);
     }
 
       yypstate_delete (ps);
     }
 


@@ -136,17 +136,33 @@ main (void)
 }
 ]])
 
 }
 ]])
 

-AT_CHECK([[bison -o input.c input.y]])
+AT_BISON_CHECK([[-o input.c input.y]])

 AT_COMPILE([[input]])
 AT_COMPILE([[input]])

-AT_PARSER_CHECK([[./input]], 0, [],
-[[cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
-cannot allocate multiple impure push-parser instances
+AT_PARSER_CHECK([[./input]])
+])
+
+AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])
+AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[push]])
+
+m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK])
+
+AT_CLEANUP
+
+## ------------------------------------- ##
+## Push Parsing: Unsupported Skeletons.  ##
+## ------------------------------------- ##
+
+AT_SETUP([[Push Parsing: Unsupported Skeletons]])
+
+AT_DATA([[input.y]],
+[[%glr-parser
+%define api.push_pull "push"
+%%
+start: ;
+]])
+
+AT_BISON_CHECK([[input.y]], [0], [],
+[[input.y:2.9-21: warning: %define variable `api.push_pull' is not used

 ]])
 
 AT_CLEANUP
 ]])
 
 AT_CLEANUP