Asserter.h

Go to the documentation of this file.

/* ex: set tabstop=4 expandtab: */
/*                                                             */
/*  (c) 2004-2006 Iowa State University                        */
/*      see the LICENSE file in the top level directory        */
/*                                                             */

#ifndef ASSERTER_H__
#define ASSERTER_H__

#include <cstdlib> //for NULL

#ifndef NDEBUG
#    define ASSERT if (false); \
        else \
            struct Local {\
                Local(const Asserter& info) { info.Handle(__FILE__, __LINE__); }\
            } localAsserter = Asserter::Make
#else
#    define ASSERT if (true); \
        else \
        struct Local {\
                        Local(const Asserter& info) { info.Handle(__FILE__, __LINE__); }\
        } localAsserter = Asserter::Make
#endif

enum AsserterAction {
    giveUp,
    ignore,
    throwUp
};

AsserterAction AskUser(const char* file, int line, const char* msg=NULL);

//forward declaration
template <class E>
class AsserterEx;

class Asserter {
protected:
    const bool holds_;
    
    virtual void doHandle(const char* file, int line) const;
    
public:
    Asserter(bool holds) : holds_(holds) {}
    virtual ~Asserter() {}
    void Handle(const char* file, int line) const;
    static Asserter Make(bool flag) {
        return Asserter(flag);
    }
    template <class E>
    static AsserterEx<E> Make(bool flag, const char* msg) {
        return AsserterEx<E>(flag, msg);
    }
};

template <class E>
class AsserterEx : public Asserter {
private:
    const char* const msg_;
    virtual void doHandle(const char* file, int line) const {
        const AsserterAction action = AskUser(file, line, msg_);
        if (action == throwUp) {
            throw E(msg_);
        }
        return Asserter::doHandle(file, line);
    }

public:
    AsserterEx(bool holds, const char* msg) : Asserter(holds), msg_(msg) {}
};

#endif

---