ErrorManager.h

Go to the documentation of this file.

#ifndef ERRORMANAGER_H
#define ERRORMANAGER_H

#include <iostream>
#include <string>
#include <vector>

using namespace std;

class ErrorMgr
{
public:
    ErrorMgr() : errMsg("") {}

    bool empty() const {
        return errMsg.empty();
    }
    bool exists() const {
        return not empty();
    }

    void clear() {
        errMsg.clear();
    }

    void set(const string& err) {
        errMsg = err;
    }

    const string& get() const {
        return errMsg;
    }

    string& get() {
        return errMsg;
    }

private:
    std::string errMsg; // Stores the error message
};

//class Cats_Exception;

#define assertMsg(cond, msg)  if (not (cond)) { throw Cats_Exception(msg); }

#define assertAsync()    assertMsg(isCircuit(), "The LTS does not specify a circuit.")

class Cats_Exception
{
public:
    Cats_Exception(const string &what) : eMsg (what) {}
    const char * what() const throw() {
        return eMsg.c_str();
    }
private:
    string eMsg;
};

#endif // ERRORMANAGER_H