OpenWalnut  1.4.0
WSegmentationFault.cpp
00001 //---------------------------------------------------------------------------
00002 //
00003 // Project: OpenWalnut ( http://www.openwalnut.org )
00004 //
00005 // Copyright 2009 OpenWalnut Community, BSV@Uni-Leipzig and CNCF@MPI-CBS
00006 // For more information see http://www.openwalnut.org/copying
00007 //
00008 // This file is part of OpenWalnut.
00009 //
00010 // OpenWalnut is free software: you can redistribute it and/or modify
00011 // it under the terms of the GNU Lesser General Public License as published by
00012 // the Free Software Foundation, either version 3 of the License, or
00013 // (at your option) any later version.
00014 //
00015 // OpenWalnut 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 Lesser General Public License for more details.
00019 //
00020 // You should have received a copy of the GNU Lesser General Public License
00021 // along with OpenWalnut. If not, see <http://www.gnu.org/licenses/>.
00022 //
00023 //---------------------------------------------------------------------------
00024 
00025 #include <string>
00026 
00027 #include "WSegmentationFault.h"
00028 
00029 WSegmentationFault::WSegmentationFault( const std::string& msg ): WException( msg )
00030 {
00031     // initialize members
00032     // will the user ever have the chance to set msg?
00033     m_msg="Segmentation Fault.";
00034 }
00035 
00036 WSegmentationFault::~WSegmentationFault() throw()
00037 {
00038     // cleanup
00039 }
00040 
00041 int WSegmentationFault::getSignalNumber() throw()
00042 {
00043 #ifdef __linux__
00044     return SIGSEGV;
00045 #else
00046     return 0;
00047 #endif  // __linux__
00048 }
00049 
00050 void WSegmentationFault::installSignalHandler() throw()
00051 {
00052 #ifdef __linux__
00053     SignalTranslator< WSegmentationFault > segmentationFaultTranslator;
00054 #endif  // __linux__
00055 }
00056