X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/da730230ce159265f4380daa456e3e3c5f9422f4..2ad7e09e963e72ac4c69bb10b866b68947197aaf:/tests/push.at?ds=sidebyside diff --git a/tests/push.at b/tests/push.at index 53b20b7d..16099021 100644 --- a/tests/push.at +++ b/tests/push.at @@ -1,5 +1,5 @@ # Checking Push Parsing. -*- Autotest -*- -# Copyright (C) 2007 Free Software Foundation, Inc. +# Copyright (C) 2007, 2009-2010 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -16,11 +16,11 @@ AT_BANNER([[Push Parsing Tests]]) -## ---------------------------------------------- ## -## Push Parsing: Memory Leak for Early Deletion. ## -## ---------------------------------------------- ## +## -------------------------------- ## +## Memory Leak for Early Deletion. ## +## -------------------------------- ## -AT_SETUP([[Push Parsing: Memory Leak for Early Deletion]]) +AT_SETUP([[Memory Leak for Early Deletion]]) # Requires Valgrind. @@ -77,12 +77,13 @@ AT_PARSER_CHECK([[./input]]) AT_CLEANUP -## ----------------------------------------- ## -## Push Parsing: Multiple impure instances. ## -## ----------------------------------------- ## +## --------------------------- ## +## Multiple impure instances. ## +## --------------------------- ## -AT_SETUP([[Push Parsing: Multiple impure instances]]) +AT_SETUP([[Multiple impure instances]]) +m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [ AT_DATA_GRAMMAR([[input.y]], [[ %{ @@ -92,7 +93,7 @@ AT_DATA_GRAMMAR([[input.y]], int yylex (void); %} -%define api.push_pull "both" +%define api.push_pull "]$1[" %% @@ -123,11 +124,11 @@ main (void) 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); - assert (yyparse () == 2); + ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; yypstate_delete (ps); } @@ -137,24 +138,21 @@ main (void) AT_BISON_CHECK([[-o input.c input.y]]) 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. ## -## ------------------------------------- ## +## ----------------------- ## +## Unsupported Skeletons. ## +## ----------------------- ## -AT_SETUP([[Push Parsing: Unsupported Skeletons]]) +AT_SETUP([[Unsupported Skeletons]]) AT_DATA([[input.y]], [[%glr-parser