X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/f16b08196c780556cbf50691e2944960aebc46f6..31d3e510949227d55ed7e87c793b3ec571dffec3:/tests/push.at?ds=sidebyside diff --git a/tests/push.at b/tests/push.at index 4f128b26..70c1fdce 100644 --- a/tests/push.at +++ b/tests/push.at @@ -33,7 +33,7 @@ AT_DATA_GRAMMAR([[input.y]], void yyerror (char const *msg); %} -%pure-parser %push-parser +%define api.pure %define api.push_pull "push" %% @@ -71,8 +71,98 @@ 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 + +## ----------------------------------------- ## +## Push Parsing: Multiple impure instances. ## +## ----------------------------------------- ## + +AT_SETUP([[Push Parsing: Multiple impure instances]]) + +m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [ +AT_DATA_GRAMMAR([[input.y]], +[[ +%{ + #include + #include + void yyerror (char const *msg); + int yylex (void); +%} + +%define api.push_pull "]$1[" + +%% + +start: ; + +%% + +void +yyerror (char const *msg) +{ + fprintf (stderr, "%s\n", msg); +} + +int +yylex (void) +{ + return 0; +} + +int +main (void) +{ + yypstate *ps; + int i; + + for (i = 0; i < 2; ++i) + { + ps = yypstate_new (); + assert (ps); + assert (yypstate_new () == NULL); + ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; + yychar = 0; + assert (yypush_parse (ps) == 0); + assert (yypstate_new () == NULL); + ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; + yypstate_delete (ps); + } + + return 0; +} +]]) + +AT_BISON_CHECK([[-o input.c input.y]]) +AT_COMPILE([[input]]) +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