ExprEngine::DataBase Class Reference

#include <exprengine.h>

Public Member Functions
	DataBase (const std::string &currentFunction, const Settings *settings)
virtual std::string	getNewSymbolName ()=0
virtual bool	isC () const =0
virtual bool	isCPP () const =0
virtual void	reportError (const Token *tok, Severity::SeverityType severity, const char id[], const std::string &text, CWE cwe, bool inconclusive, bool incomplete=false, const std::string &functionName=std::string())=0

Public Attributes
const std::string	currentFunction
const Settings *const	settings
ErrorPath	errorPath

Detailed Description

Definition at line 76 of file exprengine.h.

Constructor & Destructor Documentation

DataBase()

ExprEngine::DataBase::DataBase ( const std::string &  currentFunction, const Settings *  settings  )

inlineexplicit

Definition at line 78 of file exprengine.h.

Member Function Documentation

getNewSymbolName()

virtual std::string ExprEngine::DataBase::getNewSymbolName ( )

pure virtual

isC()

virtual bool ExprEngine::DataBase::isC ( ) const

pure virtual

Referenced by uninit().

isCPP()

virtual bool ExprEngine::DataBase::isCPP ( ) const

pure virtual

reportError()

virtual void ExprEngine::DataBase::reportError ( const Token *  tok, Severity::SeverityType  severity, const char  id[], const std::string &  text, CWE  cwe, bool  inconclusive, bool  incomplete = false, const std::string &  functionName = std::string()  )

pure virtual

Referenced by arrayIndex(), bufferOverflow(), checkAssignment(), checkFunctionCall(), divByZero(), and uninit().

Member Data Documentation

currentFunction

const std::string ExprEngine::DataBase::currentFunction

Definition at line 82 of file exprengine.h.

errorPath

ErrorPath ExprEngine::DataBase::errorPath

Definition at line 94 of file exprengine.h.

settings

const Settings* const ExprEngine::DataBase::settings

Definition at line 83 of file exprengine.h.

Referenced by bufferOverflow(), checkAssignment(), checkFunctionCall(), divByZero(), and uninit().

---

The documentation for this class was generated from the following file:

• exprengine.h