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