| /* Pedantic checking of DWARF files |
| Copyright (C) 2009,2010,2011 Red Hat, Inc. |
| This file is part of elfutils. |
| |
| This file 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. |
| |
| elfutils 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 this program. If not, see <http://www.gnu.org/licenses/>. */ |
| |
| #ifndef DWARFLINT_HH |
| #define DWARFLINT_HH |
| |
| #include <map> |
| #include <vector> |
| #include <stdexcept> |
| #include <iosfwd> |
| |
| #include "../libelf/libelf.h" |
| #include "checks_i.hh" |
| #include "checkdescriptor_i.hh" |
| #include "checkrule.hh" |
| #include "check_registrar.hh" |
| #include "dwarflint_i.hh" |
| #include "highlevel_check_i.hh" |
| |
| // Classes for full-blown check passes. |
| struct main_check_item |
| { |
| virtual checkdescriptor const *descriptor () const = 0; |
| virtual ~main_check_item () {} |
| virtual void run (checkstack &stack, dwarflint &lint) = 0; |
| }; |
| |
| class main_check_registrar |
| : public check_registrar_T<main_check_item> |
| { |
| public: |
| friend class dwarflint; |
| void run (dwarflint &lint); |
| }; |
| |
| class checkstack |
| : public std::vector <checkdescriptor const *> |
| {}; |
| std::ostream &operator << (std::ostream &o, checkstack const &stack); |
| |
| |
| class dwarflint |
| { |
| typedef std::map <void const *, class check_base *> check_map; |
| check_map _m_checks; |
| char const *_m_fname; |
| int _m_fd; |
| checkrules const &_m_rules; |
| |
| static void *const marker; |
| |
| // Return a pointer to check, or NULL if the check hasn't been done |
| // yet. Throws check_base::failed if the check was requested |
| // earlier but failed, or aborts program via assertion if recursion |
| // was detected. |
| void *find_check (void const *key); |
| |
| template <class T> |
| static check_base * |
| create_check_object (checkstack &stack, dwarflint &lint) |
| { |
| return new T (stack, lint); |
| } |
| |
| void *dispatch_check (checkstack &stack, |
| checkdescriptor const &cd, |
| void const *key, |
| check_base *(* create) (checkstack &, dwarflint &)); |
| |
| public: |
| dwarflint (char const *fname, checkrules const &rules); |
| ~dwarflint (); |
| int fd () { return _m_fd; } |
| char const *fname () { return _m_fname; } |
| |
| template <class T> |
| T * |
| check (checkstack &stack) |
| { |
| void const *key = T::key (); |
| T *c = static_cast <T *> (find_check (key)); |
| checkdescriptor const &cd = *T::descriptor (); |
| |
| if (c == NULL) |
| c = (T *)dispatch_check (stack, cd, key, &create_check_object<T>); |
| |
| return c; |
| } |
| |
| template <class T> |
| T * |
| check (checkstack &stack, T *) |
| { |
| return check<T> (stack); |
| } |
| |
| template <class T> |
| T *toplev_check (checkstack &stack, T *fake = NULL); |
| |
| template <class T> |
| T * |
| check_if (bool whether, checkstack &stack, |
| __attribute__ ((unused)) T *fake = NULL) |
| { |
| if (whether) |
| return check<T> (stack); |
| else |
| return NULL; |
| } |
| |
| checkrules const & |
| rules () const |
| { |
| return _m_rules; |
| } |
| |
| static main_check_registrar *main_registrar (); |
| |
| static void list_checks (); |
| }; |
| |
| #endif//DWARFLINT_HH |