#include <QANewModTopOpe_Limitation.hxx>
#include <QANewModTopOpe_Intersection.hxx>
-#include <assert.h>
+#include <Standard_Assert.hxx>
#include <BRepBuilderAPI_MakeEdge.hxx>
#include <BRepBuilderAPI_MakeFace.hxx>
di << "BRepAlgoAPI_Fuse" << "\n";
BRepAlgoAPI_Fuse mkFuse(S1, S2);
- assert(mkFuse.IsDone());
+ Standard_ASSERT_RAISE(mkFuse.IsDone(), "Fuse failed");
QANewBRepNaming_Fuse nameBool(L);
nameBool.Load(mkFuse);
break;
di << "BRepAlgoAPI_Cut" << "\n";
BRepAlgoAPI_Cut mkCut(S1, S2);
- assert(mkCut.IsDone());
+ Standard_ASSERT_RAISE(mkCut.IsDone(), "Cut failed");
QANewBRepNaming_Cut nameBool(L);
nameBool.Load(mkCut);
break;
di << "BRepAlgoAPI_Common" << "\n";
BRepAlgoAPI_Common mkCommon(S1, S2);
- assert(mkCommon.IsDone());
+ Standard_ASSERT_RAISE(mkCommon.IsDone(), "Common failed");
QANewBRepNaming_Common nameBool(L);
nameBool.Load(mkCommon);
break;
}
case 4: {
QANewModTopOpe_Intersection mkSection(S1, S2);
- assert(mkSection.IsDone());
+ Standard_ASSERT_RAISE(mkSection.IsDone(), "Section failed");
QANewBRepNaming_Intersection nameBool(L);
nameBool.Load(mkSection);
break;
// if (Orientation = 0) mkLimit.CutForward();
// else if (Orientation = 1) mkLimit.CutReversed();
// else if (Orientation = 2) mkLimit.CutBothSides();
- assert(mkLimit.IsDone());
+ Standard_ASSERT_RAISE(mkLimit.IsDone(),"Limit failed");
QANewBRepNaming_Limitation nameBool(L);
nameBool.Load(mkLimit);
break;
di << "BRepAlgoAPI_Fuse" << "\n";
BRepAlgoAPI_Fuse mkFuse(S1, S2);
- assert(mkFuse.IsDone());
+ Standard_ASSERT_RAISE(mkFuse.IsDone(), "Fuse failed");
nameBool.Load(mkFuse);
return 0;
}
// DBRep::Set("Shape1", mkCut.Shape1());
// DBRep::Set("Shape2", mkCut.Shape2());
// BRepTools::Write(mkCut.Shape1(), "/dn04/OS/SAMTECH/env/S1.brep");
- assert(mkCut.IsDone());
+ Standard_ASSERT_RAISE(mkCut.IsDone(), "Cut failed");
nameBool.Load(mkCut);
// BRepTools::Write(mkCut.Shape1(), "/dn04/OS/SAMTECH/env/S2.brep");
return 0;
di << "BRepAlgoAPI_Common" << "\n";
BRepAlgoAPI_Common mkCommon(S1, S2);
- assert(mkCommon.IsDone());
+ Standard_ASSERT_RAISE(mkCommon.IsDone(), "Common failed");
nameBool.Load(mkCommon);
return 0;
}
const TopoDS_Shape& S2 = DBRep::Get(arg[4]);
QANewBRepNaming_Intersection nameBool(L);
QANewModTopOpe_Intersection mkIntersection(S1, S2);
- assert(mkIntersection.IsDone());
+ Standard_ASSERT_RAISE(mkIntersection.IsDone(), "Section failed");
nameBool.Load(mkIntersection);
return 0;
}
// if (Orientation == 0) mkLimit.CutForward();
// else if (Orientation == 1) mkLimit.CutReversed();
// else if (Orientation == 2) mkLimit.CutBothSides();
- assert(mkLimit.IsDone());
+ Standard_ASSERT_RAISE(mkLimit.IsDone(), "Limit failed");
nameBool.Load(mkLimit);
return 0;
}
--- /dev/null
+// File: Standard_Assert.hxx
+// Created: 20.03.01 19:01:48
+// Author: Andrey BETENEV
+
+#ifndef Standard_Assert_HeaderFile
+#define Standard_Assert_HeaderFile
+
+#include <Standard_ProgramError.hxx>
+
+//!@file
+//! This header file defines a set of ASSERT macros intended for use
+//! in algorithms for debugging purposes and as a tool to organise
+//! checks for abnormal situations in the uniform way.
+//!
+//! In contrast to C assert() function that terminates the process, these
+//! macros provide choice of the action to be performed if assert failed,
+//! thus allowing execution to continue when possible.
+//! Except for the message for developer that appears only in Debug mode,
+//! the macros behave in the same way in both Release and Debug modes.
+//!
+//!
+//! The ASSERT macros differ in the way they react on a wrong situation:
+//! - Standard_ASSERT_RAISE: raises exception Standard_ProgramError
+//! - Standard_ASSERT_RETURN: returns specified value (last argument may
+//! be left empty to return void)
+//! - Standard_ASSERT_SKIP: does nothing
+//! - Standard_ASSERT_VOID: does nothing; even does not evaluate first arg
+//! when in Release mode
+//! - Standard_ASSERT_INVOKE: causes unconditional assert
+//! - Standard_ASSERT: base macro (used by other macros);
+//! does operation indicated in argument "todo"
+//!
+//! The assertion is assumed to fail if the first argument is
+//! evaluated to zero (false).
+//! The first argument is evaluated by all macros except Standard_ASSERT_VOID
+//! which does not evaluate first argument when in Release mode.
+//! The mode is triggered by preprocessor macro DEB: if it is defined,
+//! Debug mode is assumed, Release otherwise.
+//!
+//! In debug mode, if condition is not satisfied the macros call
+//! Standard_ASSERT_INVOKE_ which:
+//! - on Windows (under VC++), stops code execution and prompts to attach
+//! debugger to the process immediately.
+//! - on POSIX systems, prints message to cerr and raises signal SIGTRAP to stop
+//! execution when under debugger (may terminate the process if not under debugger).
+//!
+//! The second argument (message) should be string constant ("...").
+//!
+//! The macros are formed as functions and require semicolon at the end.
+
+// Stub function used to make macros complete C++ operator
+inline void Standard_ASSERT_DO_NOTHING() {}
+
+// User messages are activated in debug mode only
+#ifdef DEB
+ #if (defined(_WIN32) || defined(__WIN32__))
+ #if defined(_MSC_VER)
+ // VS-specific intrinsic
+ #define Standard_ASSERT_DBGBREAK_() __debugbreak()
+ #else
+ // WinAPI function
+ #include <windows.h>
+ #define Standard_ASSERT_DBGBREAK_() DebugBreak()
+ #endif
+ #else
+ // POSIX systems
+ #include <signal.h>
+ #define Standard_ASSERT_DBGBREAK_() raise(SIGTRAP)
+ #endif
+
+ #if defined(_MSC_VER) && defined(_DEBUG)
+ #include <crtdbg.h>
+ // use debug CRT built-in function that show up message box to user
+ // with formatted assert description and 3 possible actions
+ inline Standard_Boolean Standard_ASSERT_REPORT_ (const char* theFile,
+ const int theLine,
+ const char* theExpr,
+ const char* theDesc)
+ {
+ // 1 means user pressed Retry button
+ return _CrtDbgReport (_CRT_ASSERT, theFile, theLine, NULL,
+ "%s\n(Condition: \"%s\")\n", theDesc, theExpr) == 1;
+ }
+ #else
+ // just log assertion description into standard error stream
+ inline Standard_Boolean Standard_ASSERT_REPORT_ (const char* theFile,
+ const int theLine,
+ const char* theExpr,
+ const char* theDesc)
+ {
+ std::cerr << "ERROR: statement '" << theExpr << "' is not TRUE!\n"
+ << "\nFile: '" << theFile << "'"
+ << "\nLine: " << theLine << "\n";
+ if (theDesc != NULL && *theDesc != '\0')
+ std::cerr << "Description: " << theDesc << "\n";
+
+ std::cerr << std::flush;
+ return Standard_True;
+ }
+ #endif
+
+ // report issue and add debug breakpoint or abort execution
+ #define Standard_ASSERT_INVOKE_(theExpr, theDesc) \
+ if (Standard_ASSERT_REPORT_ (__FILE__, __LINE__, #theExpr, theDesc)) { Standard_ASSERT_DBGBREAK_(); } \
+ else Standard_ASSERT_DO_NOTHING()
+
+ // Basic ASSERT macros
+ #define Standard_ASSERT(theExpr, theDesc, theAction) \
+ if (!(theExpr)) { Standard_ASSERT_INVOKE_(theExpr, theDesc); theAction; } \
+ else Standard_ASSERT_DO_NOTHING()
+ #define Standard_ASSERT_SKIP(theExpr, theDesc) \
+ Standard_ASSERT(theExpr, theDesc,)
+ #define Standard_ASSERT_VOID(theExpr, theDesc) \
+ Standard_ASSERT(theExpr, theDesc,)
+#else
+
+ // dummy block
+ #define Standard_ASSERT_INVOKE_(theExpr, theDesc) Standard_ASSERT_DO_NOTHING()
+
+ // Basic ASSERT macros
+ #define Standard_ASSERT(theExpr, theDesc, theAction) \
+ if (!(theExpr)) { theAction; } \
+ else Standard_ASSERT_DO_NOTHING()
+ #define Standard_ASSERT_SKIP(theExpr, theDesc) theExpr
+ #define Standard_ASSERT_VOID(theExpr, theDesc) Standard_ASSERT_DO_NOTHING()
+
+#endif
+
+//! Raise exception (Standard_ProgramError) with the provided message
+#define Standard_ASSERT_RAISE(theExpr, theDesc) \
+ Standard_ASSERT(theExpr, theDesc, Standard_ProgramError::Raise( \
+ "*** ERROR: ASSERT in file '" __FILE__ "': \n" theDesc " (" #theExpr ")" ) )
+
+//! Return from the current function with specified value (empty
+//! if the function returns void)
+#define Standard_ASSERT_RETURN(theExpr, theDesc, theReturnValue) \
+ Standard_ASSERT(theExpr, theDesc, return theReturnValue)
+
+//! Raise debug message
+#define Standard_ASSERT_INVOKE(theDesc) Standard_ASSERT_INVOKE_(always, theDesc)
+
+#endif // Standard_Assert_HeaderFile
+
+#ifdef _MSC_VER
+ #pragma once
+#endif
projects / occt.git / commitdiff