URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [rtos/] [ecos-2.0/] [tools/] [src/] [infra/] [testsuite/] [cyginfra/] [tassert2.cxx] - Rev 307
Go to most recent revision | Compare with Previous | Blame | View Log
//========================================================================== // // tassert2.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-21 // Purpose: // Description: All assertions are enabled but should pass. // //####DESCRIPTIONEND#### //========================================================================== #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> static const char message[] = "This should never be seen."; class dummy { private: int random; public: dummy() { random = rand(); } ~dummy() { random = 0; } void assertions(); void zero_assertions(); static void extern_assertions(dummy*); static void zero_assertions(dummy*); bool check_this(cyg_assert_class_zeal) const; }; int main(int argc, char** argv) { dummy object; CYG_ASSERT( true, message); CYG_ASSERTC(true); CYG_CHECK_DATA_PTR( &argc, message); CYG_CHECK_FUNC_PTR( &main, message); CYG_CHECK_DATA_PTRC(&argc); CYG_CHECK_FUNC_PTRC(&main); CYG_ASSERT_CLASS( &object, message); CYG_ASSERT_CLASSC( &object); CYG_ASSERT_CLASSO( object, message); CYG_ASSERT_CLASSOC( object); CYG_ASSERTCLASS( &object, message); CYG_ASSERTCLASSO( object, message); CYG_PRECONDITION(true, message); CYG_PRECONDITIONC(true); CYG_PRECONDITION_CLASS(&object, message); CYG_PRECONDITION_CLASSC(&object); CYG_PRECONDITION_CLASSO(object, message); CYG_PRECONDITION_CLASSOC(object); CYG_POSTCONDITION(true, message); CYG_POSTCONDITIONC(true); CYG_POSTCONDITION_CLASS(&object, message); CYG_POSTCONDITION_CLASSC(&object); CYG_POSTCONDITION_CLASSO(object, message); CYG_POSTCONDITION_CLASSOC(object); CYG_LOOP_INVARIANT(true, message); CYG_LOOP_INVARIANTC(true); CYG_LOOP_INVARIANT_CLASS(&object, message); CYG_LOOP_INVARIANT_CLASSC(&object); CYG_LOOP_INVARIANT_CLASSO(object, message); CYG_LOOP_INVARIANT_CLASSOC(object); CYG_INVARIANT(true, message); CYG_INVARIANTC(true); dummy::extern_assertions( &object); dummy::zero_assertions( &object); object.assertions( ); CYG_TEST_PASS_FINISH("true assertions do nothing"); return 0; } // A utility routine which performs assertions on this. void dummy::assertions() { CYG_INVARIANT_THIS(dummy, message); CYG_INVARIANT_THISC(dummy); CYG_ASSERT_THIS(message); CYG_ASSERT_THISC(); CYG_PRECONDITION_THIS(message); CYG_PRECONDITION_THISC(); CYG_POSTCONDITION_THIS(message); CYG_POSTCONDITION_THISC(); CYG_LOOP_INVARIANT_THIS(message); CYG_LOOP_INVARIANT_THISC(); } // Another utility which gets passed an object pointer. // This is useful for the ZERO_OR_CLASS() variants. void dummy::extern_assertions(dummy* obj) { dummy obj2; CYG_INVARIANT_CLASSO(dummy, obj2, message); CYG_INVARIANT_CLASSOC(dummy, obj2); CYG_INVARIANT_CLASS(dummy, obj, message); CYG_INVARIANT_CLASSC(dummy, obj); CYG_ASSERT_ZERO_OR_CLASS(obj, message); CYG_ASSERT_ZERO_OR_CLASSC(obj); CYG_PRECONDITION_ZERO_OR_CLASS(obj, message); CYG_PRECONDITION_ZERO_OR_CLASSC(obj); CYG_POSTCONDITION_ZERO_OR_CLASS(obj, message); CYG_POSTCONDITION_ZERO_OR_CLASSC(obj); CYG_LOOP_INVARIANT_ZERO_OR_CLASS(obj, message); CYG_LOOP_INVARIANT_ZERO_OR_CLASSC(obj); } void dummy::zero_assertions(dummy* obj) { CYG_ASSERT_ZERO_OR_CLASS(obj, message); CYG_ASSERT_ZERO_OR_CLASSC(obj); CYG_PRECONDITION_ZERO_OR_CLASS(obj, message); CYG_PRECONDITION_ZERO_OR_CLASSC(obj); CYG_POSTCONDITION_ZERO_OR_CLASS(obj, message); CYG_POSTCONDITION_ZERO_OR_CLASSC(obj); CYG_LOOP_INVARIANT_ZERO_OR_CLASS(obj, message); CYG_LOOP_INVARIANT_ZERO_OR_CLASSC(obj); } bool dummy::check_this(cyg_assert_class_zeal zeal) const { // The default zeal should be cyg_quick. switch(zeal) { case cyg_quick: return true; 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"); default: CYG_TEST_FAIL_FINISH("invalid zeal passed to check_this() member function"); } return false; }
Go to most recent revision | Compare with Previous | Blame | View Log