00001 /* 00002 * Copyright (C) Sergey P. Derevyago, 2008. 00003 * 00004 * Permission to copy, use, modify, sell and distribute this software is granted 00005 * provided this copyright notice appears in all copies. 00006 * This software is provided "as is" without express or implied warranty, and 00007 * with no claim as to its suitability for any purpose. 00008 * 00009 */ 00010 00015 #include <ders/hard_asrt.hpp> 00016 #include <stdio.h> 00017 #include <stdlib.h> 00018 00019 namespace ders { // ::ders 00020 00021 namespace detail { // ::ders::detail 00022 00023 void hard_assert_impl(const char* expr, const char* file, int line) 00024 { 00025 fprintf(stderr, "\nHard assertion failed: %s, file %s, line %d\n", expr, file, 00026 line); 00027 abort(); 00028 } 00029 00030 } // namespace ::ders::detail 00031 00032 } // namespace ::ders 00033