1 /*********************                                                        */
2 /*! \file unsafe_interrupt_exception.h
3  ** \verbatim
4  ** Top contributors (to current version):
5  **   Liana Hadarean
6  ** This file is part of the CVC4 project.
7  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
8  ** in the top-level source directory) and their institutional affiliations.
9  ** All rights reserved.  See the file COPYING in the top-level source
10  ** directory for licensing information.\endverbatim
11  **
12  ** \brief An exception that is thrown when the solver is out of time/resources
13  ** and is interrupted in an unsafe state
14  **/
15 
16 #include "cvc4_public.h"
17 
18 #ifndef __CVC4__UNSAFE_INTERRUPT_EXCEPTION_H
19 #define __CVC4__UNSAFE_INTERRUPT_EXCEPTION_H
20 
21 #include "base/exception.h"
22 
23 namespace CVC4 {
24 
25 class CVC4_PUBLIC UnsafeInterruptException : public CVC4::Exception {
26 public:
UnsafeInterruptException()27   UnsafeInterruptException() :
28     Exception("Interrupted in unsafe state due to "
29               "time/resource limit.") {
30   }
31 
UnsafeInterruptException(const std::string & msg)32   UnsafeInterruptException(const std::string& msg) :
33     Exception(msg) {
34   }
35 
UnsafeInterruptException(const char * msg)36   UnsafeInterruptException(const char* msg) :
37     Exception(msg) {
38   }
39 };/* class UnsafeInterruptException */
40 
41 }/* CVC4 namespace */
42 
43 #endif /* __CVC4__UNSAFE_INTERRUPT_EXCEPTION_H */
44