gtest-type-util.h.pump revision fc2de66453b0669c09eaca643b07d34443858b6f
1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$$ -*- mode: c++; -*- 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$var n = 50 $$ Maximum length of type lists we want to support. 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Copyright 2008 Google Inc. 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// All Rights Reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Redistribution and use in source and binary forms, with or without 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// modification, are permitted provided that the following conditions are 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// met: 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// * Redistributions of source code must retain the above copyright 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// notice, this list of conditions and the following disclaimer. 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// * Redistributions in binary form must reproduce the above 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// copyright notice, this list of conditions and the following disclaimer 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// in the documentation and/or other materials provided with the 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// distribution. 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// * Neither the name of Google Inc. nor the names of its 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// contributors may be used to endorse or promote products derived from 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// this software without specific prior written permission. 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Author: wan@google.com (Zhanyong Wan) 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Type utilities needed for implementing typed and type-parameterized 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// tests. This file is generated by a SCRIPT. DO NOT EDIT BY HAND! 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Currently we support at most $n types in a list, and at most $n 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// type-parameterized tests in one type-parameterized test case. 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Please contact googletestframework@googlegroups.com if you need 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// more. 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver#ifndef GTEST_INCLUDE_GTEST_INTERNAL_GTEST_TYPE_UTIL_H_ 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver#define GTEST_INCLUDE_GTEST_INTERNAL_GTEST_TYPE_UTIL_H_ 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver#include "gtest/internal/gtest-port.h" 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// #ifdef __GNUC__ is too general here. It is possible to use gcc without using 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// libstdc++ (which is where cxxabi.h comes from). 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# if GTEST_HAS_CXXABI_H_ 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# include <cxxabi.h> 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# elif defined(__HP_aCC) 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# include <acxx_demangle.h> 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# endif // GTEST_HASH_CXXABI_H_ 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvernamespace testing { 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvernamespace internal { 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// GetTypeName<T>() returns a human-readable name of type T. 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// NB: This function is also used in Google Mock, so don't move it inside of 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// the typed-test-only section below. 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T> 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstd::string GetTypeName() { 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# if GTEST_HAS_RTTI 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver const char* const name = typeid(T).name(); 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# if GTEST_HAS_CXXABI_H_ || defined(__HP_aCC) 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int status = 0; 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // gcc's implementation of typeid(T).name() mangles the type name, 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // so we have to demangle it. 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# if GTEST_HAS_CXXABI_H_ 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver using abi::__cxa_demangle; 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# endif // GTEST_HAS_CXXABI_H_ 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char* const readable_name = __cxa_demangle(name, 0, 0, &status); 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver const std::string name_str(status == 0 ? readable_name : name); 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver free(readable_name); 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return name_str; 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# else 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return name; 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# endif // GTEST_HAS_CXXABI_H_ || __HP_aCC 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# else 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return "<type>"; 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# endif // GTEST_HAS_RTTI 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver#if GTEST_HAS_TYPED_TEST || GTEST_HAS_TYPED_TEST_P 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// AssertyTypeEq<T1, T2>::type is defined iff T1 and T2 are the same 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// type. This can be used as a compile-time assertion to ensure that 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// two types are equal. 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T1, typename T2> 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct AssertTypeEq; 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T> 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct AssertTypeEq<T, T> { 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef bool type; 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// A unique type used as the default value for the arguments of class 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// template Types. This allows us to simulate variadic templates 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// (e.g. Types<int>, Type<int, double>, and etc), which C++ doesn't 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// support directly. 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct None {}; 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The following family of struct and struct templates are used to 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// represent type lists. In particular, TypesN<T1, T2, ..., TN> 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// represents a type list with N types (T1, T2, ..., and TN) in it. 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Except for Types0, every struct in the family has two member types: 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Head for the first type in the list, and Tail for the rest of the 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// list. 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The empty type list. 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types0 {}; 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Type lists of length 1, 2, 3, and so on. 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T1> 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types1 { 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef T1 Head; 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Types0 Tail; 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 2..n 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$for i [[ 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range j 1..i 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range k 2..i 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for j, [[typename T$j]]> 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types$i { 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef T1 Head; 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Types$(i-1)<$for k, [[T$k]]> Tail; 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver]] 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} // namespace internal 141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// We don't want to require the users to write TypesN<...> directly, 143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// as that would require them to count the length. Types<...> is much 144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// easier to write, but generates horrible messages when there is a 145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// compiler error, as gcc insists on printing out each template 146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// argument, even if it has the default value (this means Types<int> 147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// will appear as Types<int, None, None, ..., None> in the compiler 148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// errors). 149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Our solution is to combine the best part of the two approaches: a 151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// user would write Types<T1, ..., TN>, and Google Test will translate 152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// that to TypesN<T1, ..., TN> internally to make error messages 153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// readable. The translation is done by the 'type' member of the 154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Types template. 155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 1..n 157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for i, [[typename T$i = internal::None]]> 158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types { 159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef internal::Types$n<$for i, [[T$i]]> type; 160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <> 163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types<$for i, [[internal::None]]> { 164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef internal::Types0 type; 165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 1..n-1 168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$for i [[ 169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range j 1..i 170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range k i+1..n 171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for j, [[typename T$j]]> 172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Types<$for j, [[T$j]]$for k[[, internal::None]]> { 173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef internal::Types$i<$for j, [[T$j]]> type; 174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 175324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver]] 177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvernamespace internal { 179324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# define GTEST_TEMPLATE_ template <typename T> class 181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The template "selector" struct TemplateSel<Tmpl> is used to 183324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// represent Tmpl, which must be a class template with one type 184324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// parameter, as a type. TemplateSel<Tmpl>::Bind<T>::type is defined 185324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// as the type Tmpl<T>. This allows us to actually instantiate the 186324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// template "selected" by TemplateSel<Tmpl>. 187324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 188324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// This trick is necessary for simulating typedef for class templates, 189324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// which C++ doesn't support directly. 190324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <GTEST_TEMPLATE_ Tmpl> 191324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct TemplateSel { 192324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver template <typename T> 193324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver struct Bind { 194324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Tmpl<T> type; 195324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver }; 196324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 197324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 198324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver# define GTEST_BIND_(TmplSel, T) \ 199324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver TmplSel::template Bind<T>::type 200324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 201324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// A unique struct template used as the default value for the 202324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// arguments of class template Templates. This allows us to simulate 203324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// variadic templates (e.g. Templates<int>, Templates<int, double>, 204324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// and etc), which C++ doesn't support directly. 205324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T> 206324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct NoneT {}; 207324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 208324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The following family of struct and struct templates are used to 209324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// represent template lists. In particular, TemplatesN<T1, T2, ..., 210324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// TN> represents a list of N templates (T1, T2, ..., and TN). Except 211324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// for Templates0, every struct in the family has two member types: 212324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Head for the selector of the first template in the list, and Tail 213324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// for the rest of the list. 214324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 215324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The empty template list. 216324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates0 {}; 217324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 218324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Template lists of length 1, 2, 3, and so on. 219324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 220324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <GTEST_TEMPLATE_ T1> 221324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates1 { 222324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef TemplateSel<T1> Head; 223324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Templates0 Tail; 224324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 225324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 226324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 2..n 227324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 228324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$for i [[ 229324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range j 1..i 230324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range k 2..i 231324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for j, [[GTEST_TEMPLATE_ T$j]]> 232324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates$i { 233324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef TemplateSel<T1> Head; 234324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Templates$(i-1)<$for k, [[T$k]]> Tail; 235324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 236324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 237324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 238324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver]] 239324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 240324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// We don't want to require the users to write TemplatesN<...> directly, 241324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// as that would require them to count the length. Templates<...> is much 242324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// easier to write, but generates horrible messages when there is a 243324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// compiler error, as gcc insists on printing out each template 244324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// argument, even if it has the default value (this means Templates<list> 245324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// will appear as Templates<list, NoneT, NoneT, ..., NoneT> in the compiler 246324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// errors). 247324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// 248324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Our solution is to combine the best part of the two approaches: a 249324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// user would write Templates<T1, ..., TN>, and Google Test will translate 250324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// that to TemplatesN<T1, ..., TN> internally to make error messages 251324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// readable. The translation is done by the 'type' member of the 252324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// Templates template. 253324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 254324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 1..n 255324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for i, [[GTEST_TEMPLATE_ T$i = NoneT]]> 256324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates { 257324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Templates$n<$for i, [[T$i]]> type; 258324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 259324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 260324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <> 261324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates<$for i, [[NoneT]]> { 262324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Templates0 type; 263324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 264324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 265324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range i 1..n-1 266324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$for i [[ 267324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range j 1..i 268324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver$range k i+1..n 269324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <$for j, [[GTEST_TEMPLATE_ T$j]]> 270324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct Templates<$for j, [[T$j]]$for k[[, NoneT]]> { 271324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver typedef Templates$i<$for j, [[T$j]]> type; 272324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}; 273324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 274324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver]] 275324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 276324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// The TypeList template makes it possible to use either a single type 277324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// or a Types<...> list in TYPED_TEST_CASE() and 278324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// INSTANTIATE_TYPED_TEST_CASE_P(). 279324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 280324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvertemplate <typename T> 281324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverstruct TypeList { 282 typedef Types1<T> type; 283}; 284 285 286$range i 1..n 287template <$for i, [[typename T$i]]> 288struct TypeList<Types<$for i, [[T$i]]> > { 289 typedef typename Types<$for i, [[T$i]]>::type type; 290}; 291 292#endif // GTEST_HAS_TYPED_TEST || GTEST_HAS_TYPED_TEST_P 293 294} // namespace internal 295} // namespace testing 296 297#endif // GTEST_INCLUDE_GTEST_INTERNAL_GTEST_TYPE_UTIL_H_ 298