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_CHECK([bison -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_CHECK([[bison -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