/usr/include/linbox/util/debug.h is in liblinbox-dev 1.1.6~rc0-4.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 | /* -*- mode: C++; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8 -*- */
/* linbox/util/debug.h
* Copyright (C) 2001 Bradford Hovinen
*
* Written by Bradford Hovinen <hovinen@cis.udel.edu>
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This library 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
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the
* Free Software Foundation, Inc., 59 Temple Place - Suite 330,
* Boston, MA 02111-1307, USA.
*/
#ifndef __UTIL_DEBUG_H
#define __UTIL_DEBUG_H
#include <iostream>
#include <sstream>
#include <linbox/util/error.h>
#ifndef DEBUG
# define linbox_check(check)
#else
# ifdef __GNUC__
# define linbox_check(check) \
if (!(check)) \
throw LinBox::PreconditionFailed (__FUNCTION__, __LINE__, #check);
# else
# define linbox_check(check) \
if (!(check)) \
throw LinBox::PreconditionFailed (__FILE__, __LINE__, #check);
# endif
#endif
namespace LinBox
{
class PreconditionFailed : public LinboxError
{
static std::ostream *_errorStream;
public:
PreconditionFailed (const char *function, int line, const char *check) {
if (_errorStream == (std::ostream *) 0)
_errorStream = &std::cerr;
(*_errorStream) << std::endl << std::endl;
(*_errorStream) << "ERROR (" << function << ":" << line << "): ";
(*_errorStream) << "Precondition not met:" << check << std::endl;
}
static void setErrorStream (std::ostream &stream);
// -- overload the virtual print of LinboxError
std::ostream &print (std::ostream &o) const {
if (std::ostringstream * str = dynamic_cast<std::ostringstream*>(_errorStream))
return o << str->str() ;
else
throw LinboxError("LinBox ERROR: PreconditionFailed exception is not initialized correctly");
}
};
}
#ifdef LinBoxSrcOnly
// for all-source compilation
#include <linbox/util/debug.C>
#endif
#endif // __UTIL_DEBUG_H
|