113481Sgiacomo.travaglini@arm.com#!/usr/bin/env python 213481Sgiacomo.travaglini@arm.com# 313481Sgiacomo.travaglini@arm.com# Copyright 2006, Google Inc. 413481Sgiacomo.travaglini@arm.com# All rights reserved. 513481Sgiacomo.travaglini@arm.com# 613481Sgiacomo.travaglini@arm.com# Redistribution and use in source and binary forms, with or without 713481Sgiacomo.travaglini@arm.com# modification, are permitted provided that the following conditions are 813481Sgiacomo.travaglini@arm.com# met: 913481Sgiacomo.travaglini@arm.com# 1013481Sgiacomo.travaglini@arm.com# * Redistributions of source code must retain the above copyright 1113481Sgiacomo.travaglini@arm.com# notice, this list of conditions and the following disclaimer. 1213481Sgiacomo.travaglini@arm.com# * Redistributions in binary form must reproduce the above 1313481Sgiacomo.travaglini@arm.com# copyright notice, this list of conditions and the following disclaimer 1413481Sgiacomo.travaglini@arm.com# in the documentation and/or other materials provided with the 1513481Sgiacomo.travaglini@arm.com# distribution. 1613481Sgiacomo.travaglini@arm.com# * Neither the name of Google Inc. nor the names of its 1713481Sgiacomo.travaglini@arm.com# contributors may be used to endorse or promote products derived from 1813481Sgiacomo.travaglini@arm.com# this software without specific prior written permission. 1913481Sgiacomo.travaglini@arm.com# 2013481Sgiacomo.travaglini@arm.com# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 2113481Sgiacomo.travaglini@arm.com# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 2213481Sgiacomo.travaglini@arm.com# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 2313481Sgiacomo.travaglini@arm.com# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 2413481Sgiacomo.travaglini@arm.com# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2513481Sgiacomo.travaglini@arm.com# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2613481Sgiacomo.travaglini@arm.com# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2713481Sgiacomo.travaglini@arm.com# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2813481Sgiacomo.travaglini@arm.com# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2913481Sgiacomo.travaglini@arm.com# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 3013481Sgiacomo.travaglini@arm.com# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 3113481Sgiacomo.travaglini@arm.com 3213481Sgiacomo.travaglini@arm.com"""gen_gtest_pred_impl.py v0.1 3313481Sgiacomo.travaglini@arm.com 3413481Sgiacomo.travaglini@arm.comGenerates the implementation of Google Test predicate assertions and 3513481Sgiacomo.travaglini@arm.comaccompanying tests. 3613481Sgiacomo.travaglini@arm.com 3713481Sgiacomo.travaglini@arm.comUsage: 3813481Sgiacomo.travaglini@arm.com 3913481Sgiacomo.travaglini@arm.com gen_gtest_pred_impl.py MAX_ARITY 4013481Sgiacomo.travaglini@arm.com 4113481Sgiacomo.travaglini@arm.comwhere MAX_ARITY is a positive integer. 4213481Sgiacomo.travaglini@arm.com 4313481Sgiacomo.travaglini@arm.comThe command generates the implementation of up-to MAX_ARITY-ary 4413481Sgiacomo.travaglini@arm.compredicate assertions, and writes it to file gtest_pred_impl.h in the 4513481Sgiacomo.travaglini@arm.comdirectory where the script is. It also generates the accompanying 4613481Sgiacomo.travaglini@arm.comunit test in file gtest_pred_impl_unittest.cc. 4713481Sgiacomo.travaglini@arm.com""" 4813481Sgiacomo.travaglini@arm.com 4913481Sgiacomo.travaglini@arm.com__author__ = 'wan@google.com (Zhanyong Wan)' 5013481Sgiacomo.travaglini@arm.com 5113481Sgiacomo.travaglini@arm.comimport os 5213481Sgiacomo.travaglini@arm.comimport sys 5313481Sgiacomo.travaglini@arm.comimport time 5413481Sgiacomo.travaglini@arm.com 5513481Sgiacomo.travaglini@arm.com# Where this script is. 5613481Sgiacomo.travaglini@arm.comSCRIPT_DIR = os.path.dirname(sys.argv[0]) 5713481Sgiacomo.travaglini@arm.com 5813481Sgiacomo.travaglini@arm.com# Where to store the generated header. 5913481Sgiacomo.travaglini@arm.comHEADER = os.path.join(SCRIPT_DIR, '../include/gtest/gtest_pred_impl.h') 6013481Sgiacomo.travaglini@arm.com 6113481Sgiacomo.travaglini@arm.com# Where to store the generated unit test. 6213481Sgiacomo.travaglini@arm.comUNIT_TEST = os.path.join(SCRIPT_DIR, '../test/gtest_pred_impl_unittest.cc') 6313481Sgiacomo.travaglini@arm.com 6413481Sgiacomo.travaglini@arm.com 6513481Sgiacomo.travaglini@arm.comdef HeaderPreamble(n): 6613481Sgiacomo.travaglini@arm.com """Returns the preamble for the header file. 6713481Sgiacomo.travaglini@arm.com 6813481Sgiacomo.travaglini@arm.com Args: 6913481Sgiacomo.travaglini@arm.com n: the maximum arity of the predicate macros to be generated. 7013481Sgiacomo.travaglini@arm.com """ 7113481Sgiacomo.travaglini@arm.com 7213481Sgiacomo.travaglini@arm.com # A map that defines the values used in the preamble template. 7313481Sgiacomo.travaglini@arm.com DEFS = { 7413481Sgiacomo.travaglini@arm.com 'today' : time.strftime('%m/%d/%Y'), 7513481Sgiacomo.travaglini@arm.com 'year' : time.strftime('%Y'), 7613481Sgiacomo.travaglini@arm.com 'command' : '%s %s' % (os.path.basename(sys.argv[0]), n), 7713481Sgiacomo.travaglini@arm.com 'n' : n 7813481Sgiacomo.travaglini@arm.com } 7913481Sgiacomo.travaglini@arm.com 8013481Sgiacomo.travaglini@arm.com return ( 8113481Sgiacomo.travaglini@arm.com"""// Copyright 2006, Google Inc. 8213481Sgiacomo.travaglini@arm.com// All rights reserved. 8313481Sgiacomo.travaglini@arm.com// 8413481Sgiacomo.travaglini@arm.com// Redistribution and use in source and binary forms, with or without 8513481Sgiacomo.travaglini@arm.com// modification, are permitted provided that the following conditions are 8613481Sgiacomo.travaglini@arm.com// met: 8713481Sgiacomo.travaglini@arm.com// 8813481Sgiacomo.travaglini@arm.com// * Redistributions of source code must retain the above copyright 8913481Sgiacomo.travaglini@arm.com// notice, this list of conditions and the following disclaimer. 9013481Sgiacomo.travaglini@arm.com// * Redistributions in binary form must reproduce the above 9113481Sgiacomo.travaglini@arm.com// copyright notice, this list of conditions and the following disclaimer 9213481Sgiacomo.travaglini@arm.com// in the documentation and/or other materials provided with the 9313481Sgiacomo.travaglini@arm.com// distribution. 9413481Sgiacomo.travaglini@arm.com// * Neither the name of Google Inc. nor the names of its 9513481Sgiacomo.travaglini@arm.com// contributors may be used to endorse or promote products derived from 9613481Sgiacomo.travaglini@arm.com// this software without specific prior written permission. 9713481Sgiacomo.travaglini@arm.com// 9813481Sgiacomo.travaglini@arm.com// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 9913481Sgiacomo.travaglini@arm.com// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 10013481Sgiacomo.travaglini@arm.com// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 10113481Sgiacomo.travaglini@arm.com// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 10213481Sgiacomo.travaglini@arm.com// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 10313481Sgiacomo.travaglini@arm.com// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 10413481Sgiacomo.travaglini@arm.com// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 10513481Sgiacomo.travaglini@arm.com// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 10613481Sgiacomo.travaglini@arm.com// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 10713481Sgiacomo.travaglini@arm.com// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 10813481Sgiacomo.travaglini@arm.com// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 10913481Sgiacomo.travaglini@arm.com 11013481Sgiacomo.travaglini@arm.com// This file is AUTOMATICALLY GENERATED on %(today)s by command 11113481Sgiacomo.travaglini@arm.com// '%(command)s'. DO NOT EDIT BY HAND! 11213481Sgiacomo.travaglini@arm.com// 11313481Sgiacomo.travaglini@arm.com// Implements a family of generic predicate assertion macros. 11413481Sgiacomo.travaglini@arm.com 11513481Sgiacomo.travaglini@arm.com#ifndef GTEST_INCLUDE_GTEST_GTEST_PRED_IMPL_H_ 11613481Sgiacomo.travaglini@arm.com#define GTEST_INCLUDE_GTEST_GTEST_PRED_IMPL_H_ 11713481Sgiacomo.travaglini@arm.com 11813481Sgiacomo.travaglini@arm.com// Makes sure this header is not included before gtest.h. 11913481Sgiacomo.travaglini@arm.com#ifndef GTEST_INCLUDE_GTEST_GTEST_H_ 12013481Sgiacomo.travaglini@arm.com# error Do not include gtest_pred_impl.h directly. Include gtest.h instead. 12113481Sgiacomo.travaglini@arm.com#endif // GTEST_INCLUDE_GTEST_GTEST_H_ 12213481Sgiacomo.travaglini@arm.com 12313481Sgiacomo.travaglini@arm.com// This header implements a family of generic predicate assertion 12413481Sgiacomo.travaglini@arm.com// macros: 12513481Sgiacomo.travaglini@arm.com// 12613481Sgiacomo.travaglini@arm.com// ASSERT_PRED_FORMAT1(pred_format, v1) 12713481Sgiacomo.travaglini@arm.com// ASSERT_PRED_FORMAT2(pred_format, v1, v2) 12813481Sgiacomo.travaglini@arm.com// ... 12913481Sgiacomo.travaglini@arm.com// 13013481Sgiacomo.travaglini@arm.com// where pred_format is a function or functor that takes n (in the 13113481Sgiacomo.travaglini@arm.com// case of ASSERT_PRED_FORMATn) values and their source expression 13213481Sgiacomo.travaglini@arm.com// text, and returns a testing::AssertionResult. See the definition 13313481Sgiacomo.travaglini@arm.com// of ASSERT_EQ in gtest.h for an example. 13413481Sgiacomo.travaglini@arm.com// 13513481Sgiacomo.travaglini@arm.com// If you don't care about formatting, you can use the more 13613481Sgiacomo.travaglini@arm.com// restrictive version: 13713481Sgiacomo.travaglini@arm.com// 13813481Sgiacomo.travaglini@arm.com// ASSERT_PRED1(pred, v1) 13913481Sgiacomo.travaglini@arm.com// ASSERT_PRED2(pred, v1, v2) 14013481Sgiacomo.travaglini@arm.com// ... 14113481Sgiacomo.travaglini@arm.com// 14213481Sgiacomo.travaglini@arm.com// where pred is an n-ary function or functor that returns bool, 14313481Sgiacomo.travaglini@arm.com// and the values v1, v2, ..., must support the << operator for 14413481Sgiacomo.travaglini@arm.com// streaming to std::ostream. 14513481Sgiacomo.travaglini@arm.com// 14613481Sgiacomo.travaglini@arm.com// We also define the EXPECT_* variations. 14713481Sgiacomo.travaglini@arm.com// 14813481Sgiacomo.travaglini@arm.com// For now we only support predicates whose arity is at most %(n)s. 14913481Sgiacomo.travaglini@arm.com// Please email googletestframework@googlegroups.com if you need 15013481Sgiacomo.travaglini@arm.com// support for higher arities. 15113481Sgiacomo.travaglini@arm.com 15213481Sgiacomo.travaglini@arm.com// GTEST_ASSERT_ is the basic statement to which all of the assertions 15313481Sgiacomo.travaglini@arm.com// in this file reduce. Don't use this in your code. 15413481Sgiacomo.travaglini@arm.com 15513481Sgiacomo.travaglini@arm.com#define GTEST_ASSERT_(expression, on_failure) \\ 15613481Sgiacomo.travaglini@arm.com GTEST_AMBIGUOUS_ELSE_BLOCKER_ \\ 15713481Sgiacomo.travaglini@arm.com if (const ::testing::AssertionResult gtest_ar = (expression)) \\ 15813481Sgiacomo.travaglini@arm.com ; \\ 15913481Sgiacomo.travaglini@arm.com else \\ 16013481Sgiacomo.travaglini@arm.com on_failure(gtest_ar.failure_message()) 16113481Sgiacomo.travaglini@arm.com""" % DEFS) 16213481Sgiacomo.travaglini@arm.com 16313481Sgiacomo.travaglini@arm.com 16413481Sgiacomo.travaglini@arm.comdef Arity(n): 16513481Sgiacomo.travaglini@arm.com """Returns the English name of the given arity.""" 16613481Sgiacomo.travaglini@arm.com 16713481Sgiacomo.travaglini@arm.com if n < 0: 16813481Sgiacomo.travaglini@arm.com return None 16913481Sgiacomo.travaglini@arm.com elif n <= 3: 17013481Sgiacomo.travaglini@arm.com return ['nullary', 'unary', 'binary', 'ternary'][n] 17113481Sgiacomo.travaglini@arm.com else: 17213481Sgiacomo.travaglini@arm.com return '%s-ary' % n 17313481Sgiacomo.travaglini@arm.com 17413481Sgiacomo.travaglini@arm.com 17513481Sgiacomo.travaglini@arm.comdef Title(word): 17613481Sgiacomo.travaglini@arm.com """Returns the given word in title case. The difference between 17713481Sgiacomo.travaglini@arm.com this and string's title() method is that Title('4-ary') is '4-ary' 17813481Sgiacomo.travaglini@arm.com while '4-ary'.title() is '4-Ary'.""" 17913481Sgiacomo.travaglini@arm.com 18013481Sgiacomo.travaglini@arm.com return word[0].upper() + word[1:] 18113481Sgiacomo.travaglini@arm.com 18213481Sgiacomo.travaglini@arm.com 18313481Sgiacomo.travaglini@arm.comdef OneTo(n): 18413481Sgiacomo.travaglini@arm.com """Returns the list [1, 2, 3, ..., n].""" 18513481Sgiacomo.travaglini@arm.com 18613481Sgiacomo.travaglini@arm.com return range(1, n + 1) 18713481Sgiacomo.travaglini@arm.com 18813481Sgiacomo.travaglini@arm.com 18913481Sgiacomo.travaglini@arm.comdef Iter(n, format, sep=''): 19013481Sgiacomo.travaglini@arm.com """Given a positive integer n, a format string that contains 0 or 19113481Sgiacomo.travaglini@arm.com more '%s' format specs, and optionally a separator string, returns 19213481Sgiacomo.travaglini@arm.com the join of n strings, each formatted with the format string on an 19313481Sgiacomo.travaglini@arm.com iterator ranged from 1 to n. 19413481Sgiacomo.travaglini@arm.com 19513481Sgiacomo.travaglini@arm.com Example: 19613481Sgiacomo.travaglini@arm.com 19713481Sgiacomo.travaglini@arm.com Iter(3, 'v%s', sep=', ') returns 'v1, v2, v3'. 19813481Sgiacomo.travaglini@arm.com """ 19913481Sgiacomo.travaglini@arm.com 20013481Sgiacomo.travaglini@arm.com # How many '%s' specs are in format? 20113481Sgiacomo.travaglini@arm.com spec_count = len(format.split('%s')) - 1 20213481Sgiacomo.travaglini@arm.com return sep.join([format % (spec_count * (i,)) for i in OneTo(n)]) 20313481Sgiacomo.travaglini@arm.com 20413481Sgiacomo.travaglini@arm.com 20513481Sgiacomo.travaglini@arm.comdef ImplementationForArity(n): 20613481Sgiacomo.travaglini@arm.com """Returns the implementation of n-ary predicate assertions.""" 20713481Sgiacomo.travaglini@arm.com 20813481Sgiacomo.travaglini@arm.com # A map the defines the values used in the implementation template. 20913481Sgiacomo.travaglini@arm.com DEFS = { 21013481Sgiacomo.travaglini@arm.com 'n' : str(n), 21113481Sgiacomo.travaglini@arm.com 'vs' : Iter(n, 'v%s', sep=', '), 21213481Sgiacomo.travaglini@arm.com 'vts' : Iter(n, '#v%s', sep=', '), 21313481Sgiacomo.travaglini@arm.com 'arity' : Arity(n), 21413481Sgiacomo.travaglini@arm.com 'Arity' : Title(Arity(n)) 21513481Sgiacomo.travaglini@arm.com } 21613481Sgiacomo.travaglini@arm.com 21713481Sgiacomo.travaglini@arm.com impl = """ 21813481Sgiacomo.travaglini@arm.com 21913481Sgiacomo.travaglini@arm.com// Helper function for implementing {EXPECT|ASSERT}_PRED%(n)s. Don't use 22013481Sgiacomo.travaglini@arm.com// this in your code. 22113481Sgiacomo.travaglini@arm.comtemplate <typename Pred""" % DEFS 22213481Sgiacomo.travaglini@arm.com 22313481Sgiacomo.travaglini@arm.com impl += Iter(n, """, 22413481Sgiacomo.travaglini@arm.com typename T%s""") 22513481Sgiacomo.travaglini@arm.com 22613481Sgiacomo.travaglini@arm.com impl += """> 22713481Sgiacomo.travaglini@arm.comAssertionResult AssertPred%(n)sHelper(const char* pred_text""" % DEFS 22813481Sgiacomo.travaglini@arm.com 22913481Sgiacomo.travaglini@arm.com impl += Iter(n, """, 23013481Sgiacomo.travaglini@arm.com const char* e%s""") 23113481Sgiacomo.travaglini@arm.com 23213481Sgiacomo.travaglini@arm.com impl += """, 23313481Sgiacomo.travaglini@arm.com Pred pred""" 23413481Sgiacomo.travaglini@arm.com 23513481Sgiacomo.travaglini@arm.com impl += Iter(n, """, 23613481Sgiacomo.travaglini@arm.com const T%s& v%s""") 23713481Sgiacomo.travaglini@arm.com 23813481Sgiacomo.travaglini@arm.com impl += """) { 23913481Sgiacomo.travaglini@arm.com if (pred(%(vs)s)) return AssertionSuccess(); 24013481Sgiacomo.travaglini@arm.com 24113481Sgiacomo.travaglini@arm.com""" % DEFS 24213481Sgiacomo.travaglini@arm.com 24313481Sgiacomo.travaglini@arm.com impl += ' return AssertionFailure() << pred_text << "("' 24413481Sgiacomo.travaglini@arm.com 24513481Sgiacomo.travaglini@arm.com impl += Iter(n, """ 24613481Sgiacomo.travaglini@arm.com << e%s""", sep=' << ", "') 24713481Sgiacomo.travaglini@arm.com 24813481Sgiacomo.travaglini@arm.com impl += ' << ") evaluates to false, where"' 24913481Sgiacomo.travaglini@arm.com 25013481Sgiacomo.travaglini@arm.com impl += Iter(n, """ 25113481Sgiacomo.travaglini@arm.com << "\\n" << e%s << " evaluates to " << v%s""") 25213481Sgiacomo.travaglini@arm.com 25313481Sgiacomo.travaglini@arm.com impl += """; 25413481Sgiacomo.travaglini@arm.com} 25513481Sgiacomo.travaglini@arm.com 25613481Sgiacomo.travaglini@arm.com// Internal macro for implementing {EXPECT|ASSERT}_PRED_FORMAT%(n)s. 25713481Sgiacomo.travaglini@arm.com// Don't use this in your code. 25813481Sgiacomo.travaglini@arm.com#define GTEST_PRED_FORMAT%(n)s_(pred_format, %(vs)s, on_failure)\\ 25913481Sgiacomo.travaglini@arm.com GTEST_ASSERT_(pred_format(%(vts)s, %(vs)s), \\ 26013481Sgiacomo.travaglini@arm.com on_failure) 26113481Sgiacomo.travaglini@arm.com 26213481Sgiacomo.travaglini@arm.com// Internal macro for implementing {EXPECT|ASSERT}_PRED%(n)s. Don't use 26313481Sgiacomo.travaglini@arm.com// this in your code. 26413481Sgiacomo.travaglini@arm.com#define GTEST_PRED%(n)s_(pred, %(vs)s, on_failure)\\ 26513481Sgiacomo.travaglini@arm.com GTEST_ASSERT_(::testing::AssertPred%(n)sHelper(#pred""" % DEFS 26613481Sgiacomo.travaglini@arm.com 26713481Sgiacomo.travaglini@arm.com impl += Iter(n, """, \\ 26813481Sgiacomo.travaglini@arm.com #v%s""") 26913481Sgiacomo.travaglini@arm.com 27013481Sgiacomo.travaglini@arm.com impl += """, \\ 27113481Sgiacomo.travaglini@arm.com pred""" 27213481Sgiacomo.travaglini@arm.com 27313481Sgiacomo.travaglini@arm.com impl += Iter(n, """, \\ 27413481Sgiacomo.travaglini@arm.com v%s""") 27513481Sgiacomo.travaglini@arm.com 27613481Sgiacomo.travaglini@arm.com impl += """), on_failure) 27713481Sgiacomo.travaglini@arm.com 27813481Sgiacomo.travaglini@arm.com// %(Arity)s predicate assertion macros. 27913481Sgiacomo.travaglini@arm.com#define EXPECT_PRED_FORMAT%(n)s(pred_format, %(vs)s) \\ 28013481Sgiacomo.travaglini@arm.com GTEST_PRED_FORMAT%(n)s_(pred_format, %(vs)s, GTEST_NONFATAL_FAILURE_) 28113481Sgiacomo.travaglini@arm.com#define EXPECT_PRED%(n)s(pred, %(vs)s) \\ 28213481Sgiacomo.travaglini@arm.com GTEST_PRED%(n)s_(pred, %(vs)s, GTEST_NONFATAL_FAILURE_) 28313481Sgiacomo.travaglini@arm.com#define ASSERT_PRED_FORMAT%(n)s(pred_format, %(vs)s) \\ 28413481Sgiacomo.travaglini@arm.com GTEST_PRED_FORMAT%(n)s_(pred_format, %(vs)s, GTEST_FATAL_FAILURE_) 28513481Sgiacomo.travaglini@arm.com#define ASSERT_PRED%(n)s(pred, %(vs)s) \\ 28613481Sgiacomo.travaglini@arm.com GTEST_PRED%(n)s_(pred, %(vs)s, GTEST_FATAL_FAILURE_) 28713481Sgiacomo.travaglini@arm.com 28813481Sgiacomo.travaglini@arm.com""" % DEFS 28913481Sgiacomo.travaglini@arm.com 29013481Sgiacomo.travaglini@arm.com return impl 29113481Sgiacomo.travaglini@arm.com 29213481Sgiacomo.travaglini@arm.com 29313481Sgiacomo.travaglini@arm.comdef HeaderPostamble(): 29413481Sgiacomo.travaglini@arm.com """Returns the postamble for the header file.""" 29513481Sgiacomo.travaglini@arm.com 29613481Sgiacomo.travaglini@arm.com return """ 29713481Sgiacomo.travaglini@arm.com 29813481Sgiacomo.travaglini@arm.com#endif // GTEST_INCLUDE_GTEST_GTEST_PRED_IMPL_H_ 29913481Sgiacomo.travaglini@arm.com""" 30013481Sgiacomo.travaglini@arm.com 30113481Sgiacomo.travaglini@arm.com 30213481Sgiacomo.travaglini@arm.comdef GenerateFile(path, content): 30313481Sgiacomo.travaglini@arm.com """Given a file path and a content string, overwrites it with the 30413481Sgiacomo.travaglini@arm.com given content.""" 30513481Sgiacomo.travaglini@arm.com 30613481Sgiacomo.travaglini@arm.com print 'Updating file %s . . .' % path 30713481Sgiacomo.travaglini@arm.com 30813481Sgiacomo.travaglini@arm.com f = file(path, 'w+') 30913481Sgiacomo.travaglini@arm.com print >>f, content, 31013481Sgiacomo.travaglini@arm.com f.close() 31113481Sgiacomo.travaglini@arm.com 31213481Sgiacomo.travaglini@arm.com print 'File %s has been updated.' % path 31313481Sgiacomo.travaglini@arm.com 31413481Sgiacomo.travaglini@arm.com 31513481Sgiacomo.travaglini@arm.comdef GenerateHeader(n): 31613481Sgiacomo.travaglini@arm.com """Given the maximum arity n, updates the header file that implements 31713481Sgiacomo.travaglini@arm.com the predicate assertions.""" 31813481Sgiacomo.travaglini@arm.com 31913481Sgiacomo.travaglini@arm.com GenerateFile(HEADER, 32013481Sgiacomo.travaglini@arm.com HeaderPreamble(n) 32113481Sgiacomo.travaglini@arm.com + ''.join([ImplementationForArity(i) for i in OneTo(n)]) 32213481Sgiacomo.travaglini@arm.com + HeaderPostamble()) 32313481Sgiacomo.travaglini@arm.com 32413481Sgiacomo.travaglini@arm.com 32513481Sgiacomo.travaglini@arm.comdef UnitTestPreamble(): 32613481Sgiacomo.travaglini@arm.com """Returns the preamble for the unit test file.""" 32713481Sgiacomo.travaglini@arm.com 32813481Sgiacomo.travaglini@arm.com # A map that defines the values used in the preamble template. 32913481Sgiacomo.travaglini@arm.com DEFS = { 33013481Sgiacomo.travaglini@arm.com 'today' : time.strftime('%m/%d/%Y'), 33113481Sgiacomo.travaglini@arm.com 'year' : time.strftime('%Y'), 33213481Sgiacomo.travaglini@arm.com 'command' : '%s %s' % (os.path.basename(sys.argv[0]), sys.argv[1]), 33313481Sgiacomo.travaglini@arm.com } 33413481Sgiacomo.travaglini@arm.com 33513481Sgiacomo.travaglini@arm.com return ( 33613481Sgiacomo.travaglini@arm.com"""// Copyright 2006, Google Inc. 33713481Sgiacomo.travaglini@arm.com// All rights reserved. 33813481Sgiacomo.travaglini@arm.com// 33913481Sgiacomo.travaglini@arm.com// Redistribution and use in source and binary forms, with or without 34013481Sgiacomo.travaglini@arm.com// modification, are permitted provided that the following conditions are 34113481Sgiacomo.travaglini@arm.com// met: 34213481Sgiacomo.travaglini@arm.com// 34313481Sgiacomo.travaglini@arm.com// * Redistributions of source code must retain the above copyright 34413481Sgiacomo.travaglini@arm.com// notice, this list of conditions and the following disclaimer. 34513481Sgiacomo.travaglini@arm.com// * Redistributions in binary form must reproduce the above 34613481Sgiacomo.travaglini@arm.com// copyright notice, this list of conditions and the following disclaimer 34713481Sgiacomo.travaglini@arm.com// in the documentation and/or other materials provided with the 34813481Sgiacomo.travaglini@arm.com// distribution. 34913481Sgiacomo.travaglini@arm.com// * Neither the name of Google Inc. nor the names of its 35013481Sgiacomo.travaglini@arm.com// contributors may be used to endorse or promote products derived from 35113481Sgiacomo.travaglini@arm.com// this software without specific prior written permission. 35213481Sgiacomo.travaglini@arm.com// 35313481Sgiacomo.travaglini@arm.com// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 35413481Sgiacomo.travaglini@arm.com// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 35513481Sgiacomo.travaglini@arm.com// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 35613481Sgiacomo.travaglini@arm.com// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 35713481Sgiacomo.travaglini@arm.com// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 35813481Sgiacomo.travaglini@arm.com// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 35913481Sgiacomo.travaglini@arm.com// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 36013481Sgiacomo.travaglini@arm.com// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 36113481Sgiacomo.travaglini@arm.com// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 36213481Sgiacomo.travaglini@arm.com// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 36313481Sgiacomo.travaglini@arm.com// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 36413481Sgiacomo.travaglini@arm.com 36513481Sgiacomo.travaglini@arm.com// This file is AUTOMATICALLY GENERATED on %(today)s by command 36613481Sgiacomo.travaglini@arm.com// '%(command)s'. DO NOT EDIT BY HAND! 36713481Sgiacomo.travaglini@arm.com 36813481Sgiacomo.travaglini@arm.com// Regression test for gtest_pred_impl.h 36913481Sgiacomo.travaglini@arm.com// 37013481Sgiacomo.travaglini@arm.com// This file is generated by a script and quite long. If you intend to 37113481Sgiacomo.travaglini@arm.com// learn how Google Test works by reading its unit tests, read 37213481Sgiacomo.travaglini@arm.com// gtest_unittest.cc instead. 37313481Sgiacomo.travaglini@arm.com// 37413481Sgiacomo.travaglini@arm.com// This is intended as a regression test for the Google Test predicate 37513481Sgiacomo.travaglini@arm.com// assertions. We compile it as part of the gtest_unittest target 37613481Sgiacomo.travaglini@arm.com// only to keep the implementation tidy and compact, as it is quite 37713481Sgiacomo.travaglini@arm.com// involved to set up the stage for testing Google Test using Google 37813481Sgiacomo.travaglini@arm.com// Test itself. 37913481Sgiacomo.travaglini@arm.com// 38013481Sgiacomo.travaglini@arm.com// Currently, gtest_unittest takes ~11 seconds to run in the testing 38113481Sgiacomo.travaglini@arm.com// daemon. In the future, if it grows too large and needs much more 38213481Sgiacomo.travaglini@arm.com// time to finish, we should consider separating this file into a 38313481Sgiacomo.travaglini@arm.com// stand-alone regression test. 38413481Sgiacomo.travaglini@arm.com 38513481Sgiacomo.travaglini@arm.com#include <iostream> 38613481Sgiacomo.travaglini@arm.com 38713481Sgiacomo.travaglini@arm.com#include "gtest/gtest.h" 38813481Sgiacomo.travaglini@arm.com#include "gtest/gtest-spi.h" 38913481Sgiacomo.travaglini@arm.com 39013481Sgiacomo.travaglini@arm.com// A user-defined data type. 39113481Sgiacomo.travaglini@arm.comstruct Bool { 39213481Sgiacomo.travaglini@arm.com explicit Bool(int val) : value(val != 0) {} 39313481Sgiacomo.travaglini@arm.com 39413481Sgiacomo.travaglini@arm.com bool operator>(int n) const { return value > Bool(n).value; } 39513481Sgiacomo.travaglini@arm.com 39613481Sgiacomo.travaglini@arm.com Bool operator+(const Bool& rhs) const { return Bool(value + rhs.value); } 39713481Sgiacomo.travaglini@arm.com 39813481Sgiacomo.travaglini@arm.com bool operator==(const Bool& rhs) const { return value == rhs.value; } 39913481Sgiacomo.travaglini@arm.com 40013481Sgiacomo.travaglini@arm.com bool value; 40113481Sgiacomo.travaglini@arm.com}; 40213481Sgiacomo.travaglini@arm.com 40313481Sgiacomo.travaglini@arm.com// Enables Bool to be used in assertions. 40413481Sgiacomo.travaglini@arm.comstd::ostream& operator<<(std::ostream& os, const Bool& x) { 40513481Sgiacomo.travaglini@arm.com return os << (x.value ? "true" : "false"); 40613481Sgiacomo.travaglini@arm.com} 40713481Sgiacomo.travaglini@arm.com 40813481Sgiacomo.travaglini@arm.com""" % DEFS) 40913481Sgiacomo.travaglini@arm.com 41013481Sgiacomo.travaglini@arm.com 41113481Sgiacomo.travaglini@arm.comdef TestsForArity(n): 41213481Sgiacomo.travaglini@arm.com """Returns the tests for n-ary predicate assertions.""" 41313481Sgiacomo.travaglini@arm.com 41413481Sgiacomo.travaglini@arm.com # A map that defines the values used in the template for the tests. 41513481Sgiacomo.travaglini@arm.com DEFS = { 41613481Sgiacomo.travaglini@arm.com 'n' : n, 41713481Sgiacomo.travaglini@arm.com 'es' : Iter(n, 'e%s', sep=', '), 41813481Sgiacomo.travaglini@arm.com 'vs' : Iter(n, 'v%s', sep=', '), 41913481Sgiacomo.travaglini@arm.com 'vts' : Iter(n, '#v%s', sep=', '), 42013481Sgiacomo.travaglini@arm.com 'tvs' : Iter(n, 'T%s v%s', sep=', '), 42113481Sgiacomo.travaglini@arm.com 'int_vs' : Iter(n, 'int v%s', sep=', '), 42213481Sgiacomo.travaglini@arm.com 'Bool_vs' : Iter(n, 'Bool v%s', sep=', '), 42313481Sgiacomo.travaglini@arm.com 'types' : Iter(n, 'typename T%s', sep=', '), 42413481Sgiacomo.travaglini@arm.com 'v_sum' : Iter(n, 'v%s', sep=' + '), 42513481Sgiacomo.travaglini@arm.com 'arity' : Arity(n), 42613481Sgiacomo.travaglini@arm.com 'Arity' : Title(Arity(n)), 42713481Sgiacomo.travaglini@arm.com } 42813481Sgiacomo.travaglini@arm.com 42913481Sgiacomo.travaglini@arm.com tests = ( 43013481Sgiacomo.travaglini@arm.com"""// Sample functions/functors for testing %(arity)s predicate assertions. 43113481Sgiacomo.travaglini@arm.com 43213481Sgiacomo.travaglini@arm.com// A %(arity)s predicate function. 43313481Sgiacomo.travaglini@arm.comtemplate <%(types)s> 43413481Sgiacomo.travaglini@arm.combool PredFunction%(n)s(%(tvs)s) { 43513481Sgiacomo.travaglini@arm.com return %(v_sum)s > 0; 43613481Sgiacomo.travaglini@arm.com} 43713481Sgiacomo.travaglini@arm.com 43813481Sgiacomo.travaglini@arm.com// The following two functions are needed to circumvent a bug in 43913481Sgiacomo.travaglini@arm.com// gcc 2.95.3, which sometimes has problem with the above template 44013481Sgiacomo.travaglini@arm.com// function. 44113481Sgiacomo.travaglini@arm.combool PredFunction%(n)sInt(%(int_vs)s) { 44213481Sgiacomo.travaglini@arm.com return %(v_sum)s > 0; 44313481Sgiacomo.travaglini@arm.com} 44413481Sgiacomo.travaglini@arm.combool PredFunction%(n)sBool(%(Bool_vs)s) { 44513481Sgiacomo.travaglini@arm.com return %(v_sum)s > 0; 44613481Sgiacomo.travaglini@arm.com} 44713481Sgiacomo.travaglini@arm.com""" % DEFS) 44813481Sgiacomo.travaglini@arm.com 44913481Sgiacomo.travaglini@arm.com tests += """ 45013481Sgiacomo.travaglini@arm.com// A %(arity)s predicate functor. 45113481Sgiacomo.travaglini@arm.comstruct PredFunctor%(n)s { 45213481Sgiacomo.travaglini@arm.com template <%(types)s> 45313481Sgiacomo.travaglini@arm.com bool operator()(""" % DEFS 45413481Sgiacomo.travaglini@arm.com 45513481Sgiacomo.travaglini@arm.com tests += Iter(n, 'const T%s& v%s', sep=""", 45613481Sgiacomo.travaglini@arm.com """) 45713481Sgiacomo.travaglini@arm.com 45813481Sgiacomo.travaglini@arm.com tests += """) { 45913481Sgiacomo.travaglini@arm.com return %(v_sum)s > 0; 46013481Sgiacomo.travaglini@arm.com } 46113481Sgiacomo.travaglini@arm.com}; 46213481Sgiacomo.travaglini@arm.com""" % DEFS 46313481Sgiacomo.travaglini@arm.com 46413481Sgiacomo.travaglini@arm.com tests += """ 46513481Sgiacomo.travaglini@arm.com// A %(arity)s predicate-formatter function. 46613481Sgiacomo.travaglini@arm.comtemplate <%(types)s> 46713481Sgiacomo.travaglini@arm.comtesting::AssertionResult PredFormatFunction%(n)s(""" % DEFS 46813481Sgiacomo.travaglini@arm.com 46913481Sgiacomo.travaglini@arm.com tests += Iter(n, 'const char* e%s', sep=""", 47013481Sgiacomo.travaglini@arm.com """) 47113481Sgiacomo.travaglini@arm.com 47213481Sgiacomo.travaglini@arm.com tests += Iter(n, """, 47313481Sgiacomo.travaglini@arm.com const T%s& v%s""") 47413481Sgiacomo.travaglini@arm.com 47513481Sgiacomo.travaglini@arm.com tests += """) { 47613481Sgiacomo.travaglini@arm.com if (PredFunction%(n)s(%(vs)s)) 47713481Sgiacomo.travaglini@arm.com return testing::AssertionSuccess(); 47813481Sgiacomo.travaglini@arm.com 47913481Sgiacomo.travaglini@arm.com return testing::AssertionFailure() 48013481Sgiacomo.travaglini@arm.com << """ % DEFS 48113481Sgiacomo.travaglini@arm.com 48213481Sgiacomo.travaglini@arm.com tests += Iter(n, 'e%s', sep=' << " + " << ') 48313481Sgiacomo.travaglini@arm.com 48413481Sgiacomo.travaglini@arm.com tests += """ 48513481Sgiacomo.travaglini@arm.com << " is expected to be positive, but evaluates to " 48613481Sgiacomo.travaglini@arm.com << %(v_sum)s << "."; 48713481Sgiacomo.travaglini@arm.com} 48813481Sgiacomo.travaglini@arm.com""" % DEFS 48913481Sgiacomo.travaglini@arm.com 49013481Sgiacomo.travaglini@arm.com tests += """ 49113481Sgiacomo.travaglini@arm.com// A %(arity)s predicate-formatter functor. 49213481Sgiacomo.travaglini@arm.comstruct PredFormatFunctor%(n)s { 49313481Sgiacomo.travaglini@arm.com template <%(types)s> 49413481Sgiacomo.travaglini@arm.com testing::AssertionResult operator()(""" % DEFS 49513481Sgiacomo.travaglini@arm.com 49613481Sgiacomo.travaglini@arm.com tests += Iter(n, 'const char* e%s', sep=""", 49713481Sgiacomo.travaglini@arm.com """) 49813481Sgiacomo.travaglini@arm.com 49913481Sgiacomo.travaglini@arm.com tests += Iter(n, """, 50013481Sgiacomo.travaglini@arm.com const T%s& v%s""") 50113481Sgiacomo.travaglini@arm.com 50213481Sgiacomo.travaglini@arm.com tests += """) const { 50313481Sgiacomo.travaglini@arm.com return PredFormatFunction%(n)s(%(es)s, %(vs)s); 50413481Sgiacomo.travaglini@arm.com } 50513481Sgiacomo.travaglini@arm.com}; 50613481Sgiacomo.travaglini@arm.com""" % DEFS 50713481Sgiacomo.travaglini@arm.com 50813481Sgiacomo.travaglini@arm.com tests += """ 50913481Sgiacomo.travaglini@arm.com// Tests for {EXPECT|ASSERT}_PRED_FORMAT%(n)s. 51013481Sgiacomo.travaglini@arm.com 51113481Sgiacomo.travaglini@arm.comclass Predicate%(n)sTest : public testing::Test { 51213481Sgiacomo.travaglini@arm.com protected: 51313481Sgiacomo.travaglini@arm.com virtual void SetUp() { 51413481Sgiacomo.travaglini@arm.com expected_to_finish_ = true; 51513481Sgiacomo.travaglini@arm.com finished_ = false;""" % DEFS 51613481Sgiacomo.travaglini@arm.com 51713481Sgiacomo.travaglini@arm.com tests += """ 51813481Sgiacomo.travaglini@arm.com """ + Iter(n, 'n%s_ = ') + """0; 51913481Sgiacomo.travaglini@arm.com } 52013481Sgiacomo.travaglini@arm.com""" 52113481Sgiacomo.travaglini@arm.com 52213481Sgiacomo.travaglini@arm.com tests += """ 52313481Sgiacomo.travaglini@arm.com virtual void TearDown() { 52413481Sgiacomo.travaglini@arm.com // Verifies that each of the predicate's arguments was evaluated 52513481Sgiacomo.travaglini@arm.com // exactly once.""" 52613481Sgiacomo.travaglini@arm.com 52713481Sgiacomo.travaglini@arm.com tests += ''.join([""" 52813481Sgiacomo.travaglini@arm.com EXPECT_EQ(1, n%s_) << 52913481Sgiacomo.travaglini@arm.com "The predicate assertion didn't evaluate argument %s " 53013481Sgiacomo.travaglini@arm.com "exactly once.";""" % (i, i + 1) for i in OneTo(n)]) 53113481Sgiacomo.travaglini@arm.com 53213481Sgiacomo.travaglini@arm.com tests += """ 53313481Sgiacomo.travaglini@arm.com 53413481Sgiacomo.travaglini@arm.com // Verifies that the control flow in the test function is expected. 53513481Sgiacomo.travaglini@arm.com if (expected_to_finish_ && !finished_) { 53613481Sgiacomo.travaglini@arm.com FAIL() << "The predicate assertion unexpactedly aborted the test."; 53713481Sgiacomo.travaglini@arm.com } else if (!expected_to_finish_ && finished_) { 53813481Sgiacomo.travaglini@arm.com FAIL() << "The failed predicate assertion didn't abort the test " 53913481Sgiacomo.travaglini@arm.com "as expected."; 54013481Sgiacomo.travaglini@arm.com } 54113481Sgiacomo.travaglini@arm.com } 54213481Sgiacomo.travaglini@arm.com 54313481Sgiacomo.travaglini@arm.com // true iff the test function is expected to run to finish. 54413481Sgiacomo.travaglini@arm.com static bool expected_to_finish_; 54513481Sgiacomo.travaglini@arm.com 54613481Sgiacomo.travaglini@arm.com // true iff the test function did run to finish. 54713481Sgiacomo.travaglini@arm.com static bool finished_; 54813481Sgiacomo.travaglini@arm.com""" % DEFS 54913481Sgiacomo.travaglini@arm.com 55013481Sgiacomo.travaglini@arm.com tests += Iter(n, """ 55113481Sgiacomo.travaglini@arm.com static int n%s_;""") 55213481Sgiacomo.travaglini@arm.com 55313481Sgiacomo.travaglini@arm.com tests += """ 55413481Sgiacomo.travaglini@arm.com}; 55513481Sgiacomo.travaglini@arm.com 55613481Sgiacomo.travaglini@arm.combool Predicate%(n)sTest::expected_to_finish_; 55713481Sgiacomo.travaglini@arm.combool Predicate%(n)sTest::finished_; 55813481Sgiacomo.travaglini@arm.com""" % DEFS 55913481Sgiacomo.travaglini@arm.com 56013481Sgiacomo.travaglini@arm.com tests += Iter(n, """int Predicate%%(n)sTest::n%s_; 56113481Sgiacomo.travaglini@arm.com""") % DEFS 56213481Sgiacomo.travaglini@arm.com 56313481Sgiacomo.travaglini@arm.com tests += """ 56413481Sgiacomo.travaglini@arm.comtypedef Predicate%(n)sTest EXPECT_PRED_FORMAT%(n)sTest; 56513481Sgiacomo.travaglini@arm.comtypedef Predicate%(n)sTest ASSERT_PRED_FORMAT%(n)sTest; 56613481Sgiacomo.travaglini@arm.comtypedef Predicate%(n)sTest EXPECT_PRED%(n)sTest; 56713481Sgiacomo.travaglini@arm.comtypedef Predicate%(n)sTest ASSERT_PRED%(n)sTest; 56813481Sgiacomo.travaglini@arm.com""" % DEFS 56913481Sgiacomo.travaglini@arm.com 57013481Sgiacomo.travaglini@arm.com def GenTest(use_format, use_assert, expect_failure, 57113481Sgiacomo.travaglini@arm.com use_functor, use_user_type): 57213481Sgiacomo.travaglini@arm.com """Returns the test for a predicate assertion macro. 57313481Sgiacomo.travaglini@arm.com 57413481Sgiacomo.travaglini@arm.com Args: 57513481Sgiacomo.travaglini@arm.com use_format: true iff the assertion is a *_PRED_FORMAT*. 57613481Sgiacomo.travaglini@arm.com use_assert: true iff the assertion is a ASSERT_*. 57713481Sgiacomo.travaglini@arm.com expect_failure: true iff the assertion is expected to fail. 57813481Sgiacomo.travaglini@arm.com use_functor: true iff the first argument of the assertion is 57913481Sgiacomo.travaglini@arm.com a functor (as opposed to a function) 58013481Sgiacomo.travaglini@arm.com use_user_type: true iff the predicate functor/function takes 58113481Sgiacomo.travaglini@arm.com argument(s) of a user-defined type. 58213481Sgiacomo.travaglini@arm.com 58313481Sgiacomo.travaglini@arm.com Example: 58413481Sgiacomo.travaglini@arm.com 58513481Sgiacomo.travaglini@arm.com GenTest(1, 0, 0, 1, 0) returns a test that tests the behavior 58613481Sgiacomo.travaglini@arm.com of a successful EXPECT_PRED_FORMATn() that takes a functor 58713481Sgiacomo.travaglini@arm.com whose arguments have built-in types.""" 58813481Sgiacomo.travaglini@arm.com 58913481Sgiacomo.travaglini@arm.com if use_assert: 59013481Sgiacomo.travaglini@arm.com assrt = 'ASSERT' # 'assert' is reserved, so we cannot use 59113481Sgiacomo.travaglini@arm.com # that identifier here. 59213481Sgiacomo.travaglini@arm.com else: 59313481Sgiacomo.travaglini@arm.com assrt = 'EXPECT' 59413481Sgiacomo.travaglini@arm.com 59513481Sgiacomo.travaglini@arm.com assertion = assrt + '_PRED' 59613481Sgiacomo.travaglini@arm.com 59713481Sgiacomo.travaglini@arm.com if use_format: 59813481Sgiacomo.travaglini@arm.com pred_format = 'PredFormat' 59913481Sgiacomo.travaglini@arm.com assertion += '_FORMAT' 60013481Sgiacomo.travaglini@arm.com else: 60113481Sgiacomo.travaglini@arm.com pred_format = 'Pred' 60213481Sgiacomo.travaglini@arm.com 60313481Sgiacomo.travaglini@arm.com assertion += '%(n)s' % DEFS 60413481Sgiacomo.travaglini@arm.com 60513481Sgiacomo.travaglini@arm.com if use_functor: 60613481Sgiacomo.travaglini@arm.com pred_format_type = 'functor' 60713481Sgiacomo.travaglini@arm.com pred_format += 'Functor%(n)s()' 60813481Sgiacomo.travaglini@arm.com else: 60913481Sgiacomo.travaglini@arm.com pred_format_type = 'function' 61013481Sgiacomo.travaglini@arm.com pred_format += 'Function%(n)s' 61113481Sgiacomo.travaglini@arm.com if not use_format: 61213481Sgiacomo.travaglini@arm.com if use_user_type: 61313481Sgiacomo.travaglini@arm.com pred_format += 'Bool' 61413481Sgiacomo.travaglini@arm.com else: 61513481Sgiacomo.travaglini@arm.com pred_format += 'Int' 61613481Sgiacomo.travaglini@arm.com 61713481Sgiacomo.travaglini@arm.com test_name = pred_format_type.title() 61813481Sgiacomo.travaglini@arm.com 61913481Sgiacomo.travaglini@arm.com if use_user_type: 62013481Sgiacomo.travaglini@arm.com arg_type = 'user-defined type (Bool)' 62113481Sgiacomo.travaglini@arm.com test_name += 'OnUserType' 62213481Sgiacomo.travaglini@arm.com if expect_failure: 62313481Sgiacomo.travaglini@arm.com arg = 'Bool(n%s_++)' 62413481Sgiacomo.travaglini@arm.com else: 62513481Sgiacomo.travaglini@arm.com arg = 'Bool(++n%s_)' 62613481Sgiacomo.travaglini@arm.com else: 62713481Sgiacomo.travaglini@arm.com arg_type = 'built-in type (int)' 62813481Sgiacomo.travaglini@arm.com test_name += 'OnBuiltInType' 62913481Sgiacomo.travaglini@arm.com if expect_failure: 63013481Sgiacomo.travaglini@arm.com arg = 'n%s_++' 63113481Sgiacomo.travaglini@arm.com else: 63213481Sgiacomo.travaglini@arm.com arg = '++n%s_' 63313481Sgiacomo.travaglini@arm.com 63413481Sgiacomo.travaglini@arm.com if expect_failure: 63513481Sgiacomo.travaglini@arm.com successful_or_failed = 'failed' 63613481Sgiacomo.travaglini@arm.com expected_or_not = 'expected.' 63713481Sgiacomo.travaglini@arm.com test_name += 'Failure' 63813481Sgiacomo.travaglini@arm.com else: 63913481Sgiacomo.travaglini@arm.com successful_or_failed = 'successful' 64013481Sgiacomo.travaglini@arm.com expected_or_not = 'UNEXPECTED!' 64113481Sgiacomo.travaglini@arm.com test_name += 'Success' 64213481Sgiacomo.travaglini@arm.com 64313481Sgiacomo.travaglini@arm.com # A map that defines the values used in the test template. 64413481Sgiacomo.travaglini@arm.com defs = DEFS.copy() 64513481Sgiacomo.travaglini@arm.com defs.update({ 64613481Sgiacomo.travaglini@arm.com 'assert' : assrt, 64713481Sgiacomo.travaglini@arm.com 'assertion' : assertion, 64813481Sgiacomo.travaglini@arm.com 'test_name' : test_name, 64913481Sgiacomo.travaglini@arm.com 'pf_type' : pred_format_type, 65013481Sgiacomo.travaglini@arm.com 'pf' : pred_format, 65113481Sgiacomo.travaglini@arm.com 'arg_type' : arg_type, 65213481Sgiacomo.travaglini@arm.com 'arg' : arg, 65313481Sgiacomo.travaglini@arm.com 'successful' : successful_or_failed, 65413481Sgiacomo.travaglini@arm.com 'expected' : expected_or_not, 65513481Sgiacomo.travaglini@arm.com }) 65613481Sgiacomo.travaglini@arm.com 65713481Sgiacomo.travaglini@arm.com test = """ 65813481Sgiacomo.travaglini@arm.com// Tests a %(successful)s %(assertion)s where the 65913481Sgiacomo.travaglini@arm.com// predicate-formatter is a %(pf_type)s on a %(arg_type)s. 66013481Sgiacomo.travaglini@arm.comTEST_F(%(assertion)sTest, %(test_name)s) {""" % defs 66113481Sgiacomo.travaglini@arm.com 66213481Sgiacomo.travaglini@arm.com indent = (len(assertion) + 3)*' ' 66313481Sgiacomo.travaglini@arm.com extra_indent = '' 66413481Sgiacomo.travaglini@arm.com 66513481Sgiacomo.travaglini@arm.com if expect_failure: 66613481Sgiacomo.travaglini@arm.com extra_indent = ' ' 66713481Sgiacomo.travaglini@arm.com if use_assert: 66813481Sgiacomo.travaglini@arm.com test += """ 66913481Sgiacomo.travaglini@arm.com expected_to_finish_ = false; 67013481Sgiacomo.travaglini@arm.com EXPECT_FATAL_FAILURE({ // NOLINT""" 67113481Sgiacomo.travaglini@arm.com else: 67213481Sgiacomo.travaglini@arm.com test += """ 67313481Sgiacomo.travaglini@arm.com EXPECT_NONFATAL_FAILURE({ // NOLINT""" 67413481Sgiacomo.travaglini@arm.com 67513481Sgiacomo.travaglini@arm.com test += '\n' + extra_indent + """ %(assertion)s(%(pf)s""" % defs 67613481Sgiacomo.travaglini@arm.com 67713481Sgiacomo.travaglini@arm.com test = test % defs 67813481Sgiacomo.travaglini@arm.com test += Iter(n, ',\n' + indent + extra_indent + '%(arg)s' % defs) 67913481Sgiacomo.travaglini@arm.com test += ');\n' + extra_indent + ' finished_ = true;\n' 68013481Sgiacomo.travaglini@arm.com 68113481Sgiacomo.travaglini@arm.com if expect_failure: 68213481Sgiacomo.travaglini@arm.com test += ' }, "");\n' 68313481Sgiacomo.travaglini@arm.com 68413481Sgiacomo.travaglini@arm.com test += '}\n' 68513481Sgiacomo.travaglini@arm.com return test 68613481Sgiacomo.travaglini@arm.com 68713481Sgiacomo.travaglini@arm.com # Generates tests for all 2**6 = 64 combinations. 68813481Sgiacomo.travaglini@arm.com tests += ''.join([GenTest(use_format, use_assert, expect_failure, 68913481Sgiacomo.travaglini@arm.com use_functor, use_user_type) 69013481Sgiacomo.travaglini@arm.com for use_format in [0, 1] 69113481Sgiacomo.travaglini@arm.com for use_assert in [0, 1] 69213481Sgiacomo.travaglini@arm.com for expect_failure in [0, 1] 69313481Sgiacomo.travaglini@arm.com for use_functor in [0, 1] 69413481Sgiacomo.travaglini@arm.com for use_user_type in [0, 1] 69513481Sgiacomo.travaglini@arm.com ]) 69613481Sgiacomo.travaglini@arm.com 69713481Sgiacomo.travaglini@arm.com return tests 69813481Sgiacomo.travaglini@arm.com 69913481Sgiacomo.travaglini@arm.com 70013481Sgiacomo.travaglini@arm.comdef UnitTestPostamble(): 70113481Sgiacomo.travaglini@arm.com """Returns the postamble for the tests.""" 70213481Sgiacomo.travaglini@arm.com 70313481Sgiacomo.travaglini@arm.com return '' 70413481Sgiacomo.travaglini@arm.com 70513481Sgiacomo.travaglini@arm.com 70613481Sgiacomo.travaglini@arm.comdef GenerateUnitTest(n): 70713481Sgiacomo.travaglini@arm.com """Returns the tests for up-to n-ary predicate assertions.""" 70813481Sgiacomo.travaglini@arm.com 70913481Sgiacomo.travaglini@arm.com GenerateFile(UNIT_TEST, 71013481Sgiacomo.travaglini@arm.com UnitTestPreamble() 71113481Sgiacomo.travaglini@arm.com + ''.join([TestsForArity(i) for i in OneTo(n)]) 71213481Sgiacomo.travaglini@arm.com + UnitTestPostamble()) 71313481Sgiacomo.travaglini@arm.com 71413481Sgiacomo.travaglini@arm.com 71513481Sgiacomo.travaglini@arm.comdef _Main(): 71613481Sgiacomo.travaglini@arm.com """The entry point of the script. Generates the header file and its 71713481Sgiacomo.travaglini@arm.com unit test.""" 71813481Sgiacomo.travaglini@arm.com 71913481Sgiacomo.travaglini@arm.com if len(sys.argv) != 2: 72013481Sgiacomo.travaglini@arm.com print __doc__ 72113481Sgiacomo.travaglini@arm.com print 'Author: ' + __author__ 72213481Sgiacomo.travaglini@arm.com sys.exit(1) 72313481Sgiacomo.travaglini@arm.com 72413481Sgiacomo.travaglini@arm.com n = int(sys.argv[1]) 72513481Sgiacomo.travaglini@arm.com GenerateHeader(n) 72613481Sgiacomo.travaglini@arm.com GenerateUnitTest(n) 72713481Sgiacomo.travaglini@arm.com 72813481Sgiacomo.travaglini@arm.com 72913481Sgiacomo.travaglini@arm.comif __name__ == '__main__': 73013481Sgiacomo.travaglini@arm.com _Main() 731