cppcheck/lib/settings.h

321 lines
8.8 KiB
C
Raw Normal View History

2010-04-13 19:25:08 +02:00
/*
* Cppcheck - A tool for static C/C++ code analysis
2019-02-09 07:24:06 +01:00
* Copyright (C) 2007-2019 Cppcheck team.
2010-04-13 19:25:08 +02:00
*
* This program 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.
*
* This program 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 settingsH
#define settingsH
//---------------------------------------------------------------------------
2010-04-13 19:25:08 +02:00
#include "config.h"
2017-05-27 04:33:47 +02:00
#include "errorlogger.h"
#include "importproject.h"
#include "library.h"
#include "platform.h"
#include "standards.h"
2017-05-27 04:33:47 +02:00
#include "suppressions.h"
#include "timer.h"
2010-04-13 19:25:08 +02:00
2017-05-27 04:33:47 +02:00
#include <list>
#include <set>
#include <string>
#include <vector>
namespace ValueFlow {
class Value;
}
2010-04-13 19:25:08 +02:00
/// @addtogroup Core
/// @{
/**
* @brief This is just a container for general settings so that we don't need
* to pass individual values to functions or constructors now or in the
* future when we might have even more detailed settings.
*/
class CPPCHECKLIB Settings : public cppcheck::Platform {
public:
enum EnabledGroup {
WARNING = 0x1,
STYLE = 0x2,
PERFORMANCE = 0x4,
PORTABILITY = 0x8,
INFORMATION = 0x10,
UNUSED_FUNCTION = 0x20,
MISSING_INCLUDE = 0x40,
INTERNAL = 0x80
};
2010-04-13 19:25:08 +02:00
private:
/** @brief enable extra checks by id */
2018-06-17 08:21:05 +02:00
int mEnabled;
2010-04-13 19:25:08 +02:00
/** @brief terminate checking */
2018-06-17 08:22:53 +02:00
static bool mTerminated;
2010-04-13 19:25:08 +02:00
public:
Settings();
2016-10-29 12:18:11 +02:00
/** @brief --cppcheck-build-dir */
std::string buildDir;
2018-08-05 11:19:20 +02:00
/** @brief Is --debug-simplified given? */
bool debugSimplified;
/** @brief Is --debug-normal given? */
bool debugnormal;
/** @brief Is --debug-warnings given? */
bool debugwarnings;
2010-04-13 19:25:08 +02:00
/** @brief Is --debug-template given? */
bool debugtemplate;
2019-02-03 17:51:02 +01:00
/** @brief --max-ctu-depth */
int maxCtuDepth;
2014-07-14 15:51:45 +02:00
/** @brief Is --dump given? */
bool dump;
std::string dumpFile;
2014-07-14 15:51:45 +02:00
/** @brief Is --exception-handling given */
bool exceptionHandling;
/** @brief Inconclusive checks */
bool inconclusive;
2010-04-13 19:25:08 +02:00
/** @brief Collect unmatched suppressions in one run.
* This delays the reporting until all files are checked.
* It is needed by checks that analyse the whole code base. */
bool jointSuppressionReport;
/**
* When this flag is false (default) then experimental
* heuristics and checks are disabled.
*
* It should not be possible to enable this from any client.
*/
bool experimental;
2019-02-09 14:40:50 +01:00
/** Experimental "fast" checking. We skip slow simplifications. The
* goal is that there will not be significant effect on the results
* and that we can remove the slow simplifications. */
bool experimentalFast;
2010-04-13 19:25:08 +02:00
/** @brief Is --quiet given? */
bool quiet;
2010-04-13 19:25:08 +02:00
/** @brief Is --inline-suppr given? */
bool inlineSuppressions;
2010-04-13 19:25:08 +02:00
/** @brief Is --verbose given? */
bool verbose;
2010-04-13 19:25:08 +02:00
/** @brief Request termination of checking */
static void terminate(bool t = true) {
2018-06-17 08:22:53 +02:00
Settings::mTerminated = t;
2010-04-13 19:25:08 +02:00
}
/** @brief termination requested? */
static bool terminated() {
2018-06-17 08:22:53 +02:00
return Settings::mTerminated;
2010-04-13 19:25:08 +02:00
}
/** @brief Force checking the files with "too many" configurations (--force). */
bool force;
2010-04-13 19:25:08 +02:00
/** @brief Use relative paths in output. */
bool relativePaths;
/** @brief Paths used as base for conversion to relative paths. */
std::vector<std::string> basePaths;
/** @brief write results (--output-file=&lt;file&gt;) */
std::string outputFile;
/** @brief plist output (--plist-output=&lt;dir&gt;) */
2017-05-16 14:07:23 +02:00
std::string plistOutput;
2010-12-15 18:45:53 +01:00
/** @brief write XML results (--xml) */
bool xml;
2010-04-13 19:25:08 +02:00
2017-05-16 14:07:23 +02:00
/** @brief XML version (--xml-version=..) */
int xml_version;
2010-04-13 19:25:08 +02:00
/** @brief How many processes/threads should do checking at the same
time. Default is 1. (-j N) */
unsigned int jobs;
2010-04-13 19:25:08 +02:00
2014-03-25 18:35:59 +01:00
/** @brief Load average value */
unsigned int loadAverage;
2014-03-25 18:35:59 +01:00
2010-04-13 19:25:08 +02:00
/** @brief If errors are found, this value is returned from main().
Default value is 0. */
int exitCode;
2010-04-13 19:25:08 +02:00
/** @brief The output format in which the errors are printed in text mode,
e.g. "{severity} {file}:{line} {message} {id}" */
std::string templateFormat;
/** @brief The output format in which the error locations are printed in
* text mode, e.g. "{file}:{line} {info}" */
std::string templateLocation;
2010-04-13 19:25:08 +02:00
/** @brief show timing information (--showtime=file|summary|top5) */
SHOWTIME_MODES showtime;
2010-04-13 19:25:08 +02:00
2016-01-02 11:48:36 +01:00
/** @brief Using -E for debugging purposes */
bool preprocessOnly;
2010-04-13 19:25:08 +02:00
/** @brief List of include paths, e.g. "my/includes/" which should be used
for finding include files inside source files. (-I) */
std::list<std::string> includePaths;
2010-04-13 19:25:08 +02:00
2011-10-22 11:11:54 +02:00
/** @brief Maximum number of configurations to check before bailing.
Default is 12. (--max-configs=N) */
unsigned int maxConfigs;
2010-04-13 19:25:08 +02:00
/**
* @brief Returns true if given id is in the list of
* enabled extra checks (--enable)
2017-05-06 11:57:02 +02:00
* @param group group to be enabled
2010-04-13 19:25:08 +02:00
* @return true if the check is enabled.
*/
bool isEnabled(EnabledGroup group) const {
2018-06-17 08:21:05 +02:00
return (mEnabled & group) == group;
}
2010-04-13 19:25:08 +02:00
/**
* @brief Returns true if given severity is enabled
* @return true if the check is enabled.
*/
bool isEnabled(Severity::SeverityType severity) const;
/**
* @brief Returns true if given value can be shown
* @return true if the value can be shown
*/
bool isEnabled(const ValueFlow::Value *value, bool inconclusiveCheck=false) const;
2010-04-13 19:25:08 +02:00
/**
* @brief Enable extra checks by id. See isEnabled()
* @param str single id or list of id values to be enabled
* or empty string to enable all. e.g. "style,possibleError"
* @return error message. empty upon success
2010-04-13 19:25:08 +02:00
*/
std::string addEnabled(const std::string &str);
2010-04-13 19:25:08 +02:00
/**
* @brief Disables all severities, except from error.
*/
2014-11-20 14:20:09 +01:00
void clearEnabled() {
2018-06-17 08:21:05 +02:00
mEnabled = 0;
}
enum Language {
None, C, CPP
};
/** @brief Name of the language that is enforced. Empty per default. */
Language enforcedLang;
2010-04-13 19:25:08 +02:00
/** @brief suppress message (--suppressions) */
Suppressions nomsg;
/** @brief suppress exitcode */
Suppressions nofail;
/** @brief defines given by the user */
std::string userDefines;
/** @brief undefines given by the user */
std::set<std::string> userUndefs;
/** @brief forced includes given by the user */
std::list<std::string> userIncludes;
/** @brief include paths excluded from checking the configuration */
std::set<std::string> configExcludePaths;
/** @brief --report-progress */
bool reportProgress;
/** Library (--library) */
Library library;
2013-07-02 07:18:19 +02:00
2010-12-12 11:56:22 +01:00
/** Rule */
class CPPCHECKLIB Rule {
2010-12-12 11:56:22 +01:00
public:
2012-02-18 14:44:04 +01:00
Rule()
: tokenlist("simple") // use simple tokenlist
, id("rule") // default id
, severity(Severity::style) { // default severity
2010-12-12 11:56:22 +01:00
}
std::string tokenlist;
2010-12-12 11:56:22 +01:00
std::string pattern;
std::string id;
std::string summary;
Severity::SeverityType severity;
2010-12-12 11:56:22 +01:00
};
/**
* @brief Extra rules
*/
std::list<Rule> rules;
/** Is the 'configuration checking' wanted? */
bool checkConfiguration;
/** Check for incomplete info in library files? */
bool checkLibrary;
/**
* Check code in the headers, this is on by default but can
2019-03-02 19:52:15 +01:00
* be turned off to save CPU */
bool checkHeaders;
/** Remove unused templates in all files */
bool removeUnusedTemplates;
/** Remove unused included templates */
bool removeUnusedIncludedTemplates;
/** Struct contains standards settings */
Standards standards;
ImportProject project;
/**
* @brief return true if a included file is to be excluded in Preprocessor::getConfigs
* @return true for the file to be excluded.
*/
2014-11-20 14:20:09 +01:00
bool configurationExcluded(const std::string &file) const {
for (std::set<std::string>::const_iterator i=configExcludePaths.begin(); i!=configExcludePaths.end(); ++i) {
if (file.length()>=i->length() && file.compare(0,i->length(),*i)==0) {
return true;
}
}
return false;
}
2010-04-13 19:25:08 +02:00
};
/// @}
//---------------------------------------------------------------------------
#endif // settingsH