File exceptions.hpp

File List > backends > cxx > include > zmbt > model > exceptions.hpp

Go to the documentation of this file

#ifndef ZMBT_MODEL_EXCEPTIONS_HPP_
#define ZMBT_MODEL_EXCEPTIONS_HPP_

#include "zmbt/core/exceptions.hpp"

namespace zmbt {


struct test_assertion_failure : public base_error {
    using base_error::base_error;
};

struct model_error : public base_error {
    using base_error::base_error;
};

struct environment_error : public base_error {
    using base_error::base_error;
};

struct expression_error : public base_error {
    using base_error::base_error;
};

struct expression_not_implemented : public expression_error {
    using expression_error::expression_error;
};

}  // namespace zmbt

#endif