URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [rtos/] [ecos-2.0/] [tools/] [src/] [infra/] [testsuite/] [cyginfra/] [tassert7.cxx] - Rev 196
Go to most recent revision | Compare with Previous | Blame | View Log
//========================================================================== // // tassert7.cxx // // Assertion test case // //========================================================================== //####COPYRIGHTBEGIN#### // // ---------------------------------------------------------------------------- // Copyright (C) 1998, 1999, 2000 Red Hat, Inc. // // This file is part of the eCos host tools. // // This program is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by the Free // Software Foundation; either version 2 of the License, or (at your option) // any later version. // // This program is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for // more details. // // You should have received a copy of the GNU General Public License along with // this program; if not, write to the Free Software Foundation, Inc., // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. // // ---------------------------------------------------------------------------- // //####COPYRIGHTEND#### //========================================================================== //#####DESCRIPTIONBEGIN#### // // Author(s): bartv // Contributors: bartv // Date: 1998-12-23 // Purpose: // Description: This routine checks the invariant assertions. // The entry tests will have been taken care of by // tassert6.cxx, but it is also necessary to check // the exit tests. // //####DESCRIPTIONEND#### //========================================================================== #define CYG_DECLARE_HOST_ASSERTION_SUPPORT #define CYGDBG_USE_ASSERTS #define CYGDBG_INFRA_DEBUG_PRECONDITIONS #define CYGDBG_INFRA_DEBUG_POSTCONDITIONS #define CYGDBG_INFRA_DEBUG_LOOP_INVARIANTS #define CYGDBG_INFRA_DEBUG_INVARIANTS #include <cyg/infra/testcase.h> #include <cyg/infra/cyg_ass.h> #include <cstdlib> #include <csetjmp> #include <cstring> // This is used to "recover" from an assertion failure static jmp_buf setjmp_buffer; // The number of assertions that have triggered. static int failed_assertions = 0; // The number of assertions that have been triggered. static int counter = 0; // Are objects currently valid? static bool check_this_should_fail = false; static const char message[] = "so long and thanks for all the fish"; class dummy { private: int random; public: dummy() { random = rand(); } ~dummy() { random = 0; } void invariant1(); void invariant2(); static void invariant3(dummy&); static void invariant4(dummy&); static void invariant5(dummy*); static void invariant6(dummy*); bool check_this(cyg_assert_class_zeal) const; }; bool dummy::check_this(cyg_assert_class_zeal zeal) const { // The default zeal should be cyg_quick. switch(zeal) { case cyg_quick: return !check_this_should_fail; case cyg_system_test: case cyg_extreme: case cyg_thorough: case cyg_trivial: case cyg_none: CYG_TEST_FAIL_FINISH("incorrect default zeal passed to check_this() member function"); break; default: CYG_TEST_FAIL_FINISH("invalid zeal passed to check_this() member function"); break; } return false; } void dummy::invariant1(void) { CYG_INVARIANT_THIS(dummy, message); check_this_should_fail = true; } void dummy::invariant2(void) { CYG_INVARIANT_THISC(dummy); check_this_should_fail = true; } void dummy::invariant3(dummy& obj) { CYG_INVARIANT_CLASSO(dummy, obj, message); check_this_should_fail = true; } void dummy::invariant4(dummy& obj) { CYG_INVARIANT_CLASSOC(dummy, obj); check_this_should_fail = true; } void dummy::invariant5(dummy* obj) { CYG_INVARIANT_CLASS(dummy, obj, message); check_this_should_fail = true; } void dummy::invariant6(dummy* obj) { CYG_INVARIANT_CLASSC(dummy, obj); check_this_should_fail = true; } extern "C" bool failure_handler(const char* fn, const char* file, cyg_uint32 line, const char* msg) { if (false == check_this_should_fail) { CYG_TEST_FAIL("assertion triggered when everything should be ok"); } failed_assertions++; counter++; longjmp(setjmp_buffer, 1); return true; } int main(int argc, char **argv) { dummy object; cyg_assert_install_failure_handler(&failure_handler); setjmp(setjmp_buffer); for ( bool done = false; !done; counter++ ) { check_this_should_fail = false; switch(counter) { case 0: object.invariant1(); CYG_TEST_FAIL("CYG_INVARIANT_THIS() test should not have returned"); break; case 1: object.invariant2(); CYG_TEST_FAIL("CYG_INVARIANT_THISC() test should not have returned"); break; case 2: dummy::invariant3(object); CYG_TEST_FAIL("CYG_INVARIANT_CLASSO() test should not have returned"); break; case 3: dummy::invariant4(object); CYG_TEST_FAIL("CYG_INVARIANT_CLASSOC() test should not have returned"); break; case 4: dummy::invariant5(&object); CYG_TEST_FAIL("CYG_INVARIANT_CLASS() test should not have returned"); break; case 5: dummy::invariant6(&object); CYG_TEST_FAIL("CYG_INVARIANT_CLASSC() test should not have returned"); break; default: done = true; counter--; // About to get incremented again... break; } } if (failed_assertions != 6) { CYG_TEST_FAIL("Broken test case, not all assertions have been tried"); } if (failed_assertions == counter) { CYG_TEST_PASS("All assertions trigger successfully"); } else { CYG_TEST_FAIL("Not all assertions trigger"); } return 0; }
Go to most recent revision | Compare with Previous | Blame | View Log