Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
4680 | right-hear | 1 | // Concept-checking control -*- C++ -*- |
2 | |||
3 | // Copyright (C) 2001 Free Software Foundation, Inc. |
||
4 | // |
||
5 | // This file is part of the GNU ISO C++ Library. This library is free |
||
6 | // software; you can redistribute it and/or modify it under the |
||
7 | // terms of the GNU General Public License as published by the |
||
8 | // Free Software Foundation; either version 2, or (at your option) |
||
9 | // any later version. |
||
10 | |||
11 | // This library is distributed in the hope that it will be useful, |
||
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
||
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
||
14 | // GNU General Public License for more details. |
||
15 | |||
16 | // You should have received a copy of the GNU General Public License along |
||
17 | // with this library; see the file COPYING. If not, write to the Free |
||
18 | // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, |
||
19 | // USA. |
||
20 | |||
21 | // As a special exception, you may use this file as part of a free software |
||
22 | // library without restriction. Specifically, if other files instantiate |
||
23 | // templates or use macros or inline functions from this file, or you compile |
||
24 | // this file and link it with other files to produce an executable, this |
||
25 | // file does not by itself cause the resulting executable to be covered by |
||
26 | // the GNU General Public License. This exception does not however |
||
27 | // invalidate any other reasons why the executable file might be covered by |
||
28 | // the GNU General Public License. |
||
29 | |||
30 | #ifndef _GLIBCPP_CONCEPT_CHECK |
||
31 | #define _GLIBCPP_CONCEPT_CHECK 1 |
||
32 | |||
33 | #pragma GCC system_header |
||
34 | |||
35 | #include |
||
36 | |||
37 | // All places in libstdc++-v3 where these are used, or /might/ be used, or |
||
38 | // don't need to be used, or perhaps /should/ be used, are commented with |
||
39 | // "concept requirements" (and maybe some more text). So grep like crazy |
||
40 | // if you're looking for additional places to use these. |
||
41 | |||
42 | // Concept-checking code is off by default unless users turn it on via |
||
43 | // configure options or editing c++config.h. |
||
44 | |||
45 | #ifndef _GLIBCPP_CONCEPT_CHECKS |
||
46 | |||
47 | #define __glibcpp_function_requires(...) |
||
48 | #define __glibcpp_class_requires(_a,_b) |
||
49 | #define __glibcpp_class_requires2(_a,_b,_c) |
||
50 | #define __glibcpp_class_requires3(_a,_b,_c,_d) |
||
51 | #define __glibcpp_class_requires4(_a,_b,_c,_d,_e) |
||
52 | |||
53 | #else // the checks are on |
||
54 | |||
55 | #include |
||
56 | |||
57 | // Note that the obvious and elegant approach of |
||
58 | // |
||
59 | //#define glibcpp_function_requires(C) \ |
||
60 | // boost::function_requires< boost::C >() |
||
61 | // |
||
62 | // won't work due to concept templates with more than one parameter, e.g., |
||
63 | // BinaryPredicateConcept. The preprocessor tries to split things up on |
||
64 | // the commas in the template argument list. We can't use an inner pair of |
||
65 | // parenthesis to hide the commas, because "boost::(Temp |
||
66 | // a valid instantiation pattern. Thus, we steal a feature from C99. |
||
67 | |||
68 | #define __glibcpp_function_requires(...) \ |
||
69 | __gnu_cxx::__function_requires< __gnu_cxx::__VA_ARGS__ >() |
||
70 | #define __glibcpp_class_requires(_a,_C) \ |
||
71 | _GLIBCPP_CLASS_REQUIRES(_a, __gnu_cxx, _C) |
||
72 | #define __glibcpp_class_requires2(_a,_b,_C) \ |
||
73 | _GLIBCPP_CLASS_REQUIRES2(_a, _b, __gnu_cxx, _C) |
||
74 | #define __glibcpp_class_requires3(_a,_b,_c,_C) \ |
||
75 | _GLIBCPP_CLASS_REQUIRES3(_a, _b, _c, __gnu_cxx, _C) |
||
76 | #define __glibcpp_class_requires4(_a,_b,_c,_d,_C) \ |
||
77 | _GLIBCPP_CLASS_REQUIRES4(_a, _b, _c, _d, __gnu_cxx, _C) |
||
78 | |||
79 | #endif // enable/disable |
||
80 | |||
81 | #endif // _GLIBCPP_CONCEPT_CHECK>> |