added: symbol demangling helper

this is trivial enough to carry ourself instead of
relying on dune-common
This commit is contained in:
Arne Morten Kvarving
2022-12-22 13:02:48 +01:00
parent fd6e793b6a
commit b125823f92
4 changed files with 84 additions and 0 deletions

View File

@@ -0,0 +1,32 @@
/*
Copyright 2022 Equinor ASA.
This file is part of the Open Porous Media project (OPM).
OPM is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
OPM is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with OPM. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef OPM_DEMANGLE_HPP
#define OPM_DEMANGLE_HPP
#include <string>
namespace Opm {
//! \brief Returns demangled name of symbol.
//! \details Non-demangled name is return if demangling is not supported
std::string demangle(const char* mangled_symbol);
}
#endif //OPM_DEMANGLE_HPP