00001 // 00002 // Copyright (c) 2005-2008 Kenichi Watanabe. 00003 // Copyright (c) 2005-2008 Yasuhiro Watari. 00004 // Copyright (c) 2005-2008 Hironori Ichibayashi. 00005 // Copyright (c) 2008-2009 Kazuo Horio. 00006 // Copyright (c) 2009-2013 Naruki Kurata. 00007 // Copyright (c) 2005-2013 Ryota Shioya. 00008 // Copyright (c) 2005-2013 Masahiro Goshima. 00009 // 00010 // This software is provided 'as-is', without any express or implied 00011 // warranty. In no event will the authors be held liable for any damages 00012 // arising from the use of this software. 00013 // 00014 // Permission is granted to anyone to use this software for any purpose, 00015 // including commercial applications, and to alter it and redistribute it 00016 // freely, subject to the following restrictions: 00017 // 00018 // 1. The origin of this software must not be misrepresented; you must not 00019 // claim that you wrote the original software. If you use this software 00020 // in a product, an acknowledgment in the product documentation would be 00021 // appreciated but is not required. 00022 // 00023 // 2. Altered source versions must be plainly marked as such, and must not be 00024 // misrepresented as being the original software. 00025 // 00026 // 3. This notice may not be removed or altered from any source 00027 // distribution. 00028 // 00029 // 00030 00031 00032 // 00033 // Definition of exception 00034 // 00035 00036 #ifndef SIM_RECOVERER_EXCEPTION_H 00037 #define SIM_RECOVERER_EXCEPTION_H 00038 00039 00040 namespace Onikiri 00041 { 00042 00043 struct Exception 00044 { 00045 // The type of exception 00046 enum ExceptionType 00047 { 00048 // Invalid (exception does not occur) 00049 ET_INVALID, 00050 00051 // Division by zero (not implemented yet) 00052 ET_DIVISION_BY_ZERO, 00053 00054 // User defined. 00055 ET_USER_0, 00056 ET_USER_1, 00057 ET_USER_2, 00058 ET_USER_3 00059 }; 00060 00061 bool exception; 00062 ExceptionType type; 00063 00064 Exception() : 00065 exception( false ), 00066 type( ET_INVALID ) 00067 { 00068 } 00069 }; 00070 } 00071 00072 #endif 00073