]> git.saurik.com Git - bison.git/blob - tests/c++.at
Require the generation of parse-gram.output.
[bison.git] / tests / c++.at
1 # Checking the output filenames. -*- Autotest -*-
2 # Copyright (C) 2004, 2005, 2007 Free Software Foundation, Inc.
3
4 # This program is free software: you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation, either version 3 of the License, or
7 # (at your option) any later version.
8 #
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
13 #
14 # You should have received a copy of the GNU General Public License
15 # along with this program. If not, see <http://www.gnu.org/licenses/>.
16
17 AT_BANNER([[C++ Features.]])
18
19
20 ## ----------------------- ##
21 ## Doxygen Documentation. ##
22 ## ----------------------- ##
23
24 m4_define([AT_CHECK_DOXYGEN],
25 [m4_case([$1],
26 [Public], [m4_pushdef([AT_DOXYGEN_PRIVATE], [NO])],
27 [Private], [m4_pushdef([AT_DOXYGEN_PRIVATE], [YES])],
28 [m4_fatal([invalid argument: $1])])
29 AT_SETUP([Doxygen $1 Documentation])
30
31 AT_DATA([input.yy],
32 [[%skeleton "lalr1.cc"
33 %locations
34 %debug
35 %defines
36 %%
37 exp:;
38 %%
39 yy::parser::error (const location& l, const std::string& m)
40 {
41 std::cerr << l << s << std::endl;
42 }
43 ]])
44
45 AT_BISON_CHECK([-o input.cc input.yy], 0)
46
47 AT_DATA([Doxyfile],
48 [# The PROJECT_NAME tag is a single word (or a sequence of words
49 # surrounded by quotes) that should identify the project.
50 PROJECT_NAME = "Bison C++ Parser"
51
52 # The QUIET tag can be used to turn on/off the messages that are
53 # generated by doxygen. Possible values are YES and NO. If left blank
54 # NO is used.
55 QUIET = YES
56
57 # The WARNINGS tag can be used to turn on/off the warning messages
58 # that are generated by doxygen. Possible values are YES and NO. If
59 # left blank NO is used.
60 WARNINGS = YES
61 # If WARN_IF_UNDOCUMENTED is set to YES, then doxygen will generate
62 # warnings for undocumented members. If EXTRACT_ALL is set to YES then
63 # this flag will automatically be disabled.
64 WARN_IF_UNDOCUMENTED = YES
65 # If WARN_IF_DOC_ERROR is set to YES, doxygen will generate warnings
66 # for potential errors in the documentation, such as not documenting
67 # some parameters in a documented function, or documenting parameters
68 # that don't exist or using markup commands wrongly.
69 WARN_IF_DOC_ERROR = YES
70 # The WARN_FORMAT tag determines the format of the warning messages
71 # that doxygen can produce. The string should contain the $file,
72 # $line, and $text tags, which will be replaced by the file and line
73 # number from which the warning originated and the warning text.
74 WARN_FORMAT = "$file:$line: $text"
75
76 # If the EXTRACT_ALL tag is set to YES doxygen will assume all
77 # entities in documentation are documented, even if no documentation
78 # was available. Private class members and static file members will
79 # be hidden unless the EXTRACT_PRIVATE and EXTRACT_STATIC tags are set
80 # to YES
81 EXTRACT_ALL = YES
82
83 # If the EXTRACT_PRIVATE tag is set to YES all private members of a
84 # class will be included in the documentation.
85 EXTRACT_PRIVATE = AT_DOXYGEN_PRIVATE
86
87 # If the EXTRACT_STATIC tag is set to YES all static members of a file
88 # will be included in the documentation.
89 EXTRACT_STATIC = AT_DOXYGEN_PRIVATE
90 ])
91
92 AT_CHECK([doxygen --version || exit 77], 0, ignore)
93 AT_CHECK([doxygen], 0, [], [ignore])
94
95 AT_CLEANUP
96
97 m4_popdef([AT_DOXYGEN_PRIVATE])
98 ])# AT_CHECK_DOXYGEN
99
100 AT_CHECK_DOXYGEN([Public])
101 AT_CHECK_DOXYGEN([Private])
102
103 ## ------------ ##
104 ## Namespaces. ##
105 ## ------------ ##
106
107 # AT_CHECK_NAMESPACE(NAMESPACE-DECL, [COMPILE-ERROR])
108 # ---------------------------------------------------
109 # See if Bison can handle %define namespace "NAMESPACE-DECL". If COMPILE-ERROR
110 # is specified, then Bison should accept the input, but compilation will fail,
111 # so don't check compilation.
112 m4_define([AT_CHECK_NAMESPACE],
113 [
114
115 AT_DATA_GRAMMAR([[input.y]],
116 [[%language "C++"
117 %defines
118 %define namespace "]$1["
119 %union { int i; }
120 %define global_tokens_and_yystype
121
122 %code {
123 // YYSTYPE contains a namespace reference.
124 int yylex (YYSTYPE *lval) {
125 lval->i = 3;
126 return 0;
127 }
128 }
129
130 %%
131
132 start: ;
133
134 %%
135
136 void
137 ]$1[::parser::error (const ]$1[::parser::location_type &loc,
138 const std::string &msg)
139 {
140 std::cerr << "At " << loc << ": " << msg << std::endl;
141 }
142
143 int
144 main (void)
145 {
146 ]$1[::parser p;
147 return p.parse ();
148 }
149 ]])
150
151 AT_BISON_CHECK([[-o input.cc input.y]])
152
153 m4_if([$#], [1],
154 [AT_COMPILE_CXX([[input]], [[input.cc]])
155 AT_PARSER_CHECK([[./input]])])
156
157 ])
158
159 AT_SETUP([[Relative namespace references]])
160 AT_CHECK_NAMESPACE([[foo]])
161 AT_CHECK_NAMESPACE([[foo::bar]])
162 AT_CHECK_NAMESPACE([[foo::bar::baz]])
163 AT_CLEANUP
164
165 AT_SETUP([[Absolute namespace references]])
166 AT_CHECK_NAMESPACE([[::foo]])
167 AT_CHECK_NAMESPACE([[::foo::bar]])
168 AT_CHECK_NAMESPACE([[::foo::bar::baz]])
169 AT_CHECK_NAMESPACE([[ ::foo]])
170 AT_CHECK_NAMESPACE([[ ::foo::bar]])
171 AT_CHECK_NAMESPACE([[ ::foo::bar::baz]])
172 AT_CLEANUP
173
174 AT_SETUP([[Syntactically invalid namespace references]])
175 AT_CHECK_NAMESPACE([[:foo:bar]], [[-]])
176 AT_CHECK_NAMESPACE([[foo: :bar]], [[-]])
177 # This one is interesting because `[3]' is encoded as `@<:@3@:>@', which
178 # contains single occurrences of `:'.
179 AT_CHECK_NAMESPACE([[foo[3]::bar::baz]], [[-]])
180 AT_CHECK_NAMESPACE([[foo::bar,baz]], [[-]])
181 AT_CHECK_NAMESPACE([[foo::bar::(baz]], [[-]])
182 AT_CLEANUP