00001 /* 00002 * Name: exceptions.cc 00003 * Author: Rafael Jesus Alcantara Perez 00004 * Summary: INVARIANT exceptions 00005 * Date: $Date: 2003/04/14 00:18:35 $ 00006 * Revision: $Revision: 1.1 $ 00007 * 00008 * Copyright (C) 1994-2002 Rafael Jesus Alcantara Perez <rafa@dedalo-ing.com> 00009 * 00010 * This program is free software; you can redistribute it and/or modify 00011 * it under the terms of the GNU General Public License as published by 00012 * the Free Software Foundation; either version 2 of the License, or 00013 * (at your option) any later version. 00014 * 00015 * This program is distributed in the hope that it will be useful, 00016 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00017 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00018 * GNU General Public License for more details. 00019 * 00020 * You should have received a copy of the GNU General Public License 00021 * along with this program; if not, write to the Free Software 00022 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, 00023 * MA 02111-1307, USA. 00024 */ 00025 00026 #include <mpcl/invariant/exceptions.hh> 00027 00028 00030 namespace mpcl 00031 { 00032 00034 namespace invariant 00035 { 00036 00038 const char* TViolationException::_pkcSynopsis = "invariant: violated level "; 00039 00040 } // namespace invariant 00041 00042 } // namespace mpcl