File indexing completed on 2024-05-12 17:13:16
0001 /* 0002 This file is part of the clazy static checker. 0003 0004 Copyright (C) 2015 Klarälvdalens Datakonsult AB, a KDAB Group company, info@kdab.com 0005 Author: Sérgio Martins <sergio.martins@kdab.com> 0006 0007 Copyright (C) 2015 Sergio Martins <smartins@kde.org> 0008 0009 This library is free software; you can redistribute it and/or 0010 modify it under the terms of the GNU Library General Public 0011 License as published by the Free Software Foundation; either 0012 version 2 of the License, or (at your option) any later version. 0013 0014 This library is distributed in the hope that it will be useful, 0015 but WITHOUT ANY WARRANTY; without even the implied warranty of 0016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 0017 Library General Public License for more details. 0018 0019 You should have received a copy of the GNU Library General Public License 0020 along with this library; see the file COPYING.LIB. If not, write to 0021 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, 0022 Boston, MA 02110-1301, USA. 0023 */ 0024 0025 #ifndef ASSERT_WITH_SIDE_EFFECTS_H 0026 #define ASSERT_WITH_SIDE_EFFECTS_H 0027 0028 #include "checkbase.h" 0029 0030 #include <string> 0031 0032 class ClazyContext; 0033 namespace clang { 0034 class Stmt; 0035 } // namespace clang 0036 0037 class AssertWithSideEffects 0038 : public CheckBase 0039 { 0040 public: 0041 AssertWithSideEffects(const std::string &name, ClazyContext *context); 0042 void VisitStmt(clang::Stmt *) override; 0043 private: 0044 int m_aggressiveness; 0045 }; 0046 0047 #endif