--- /dev/null
+//==========================================================================
+//
+// 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;
+}