Cppcheck: ExprEngine::Value Class Reference

Cppcheck

#include <exprengine.h>

Inheritance diagram for ExprEngine::Value:

Public Member Functions
	Value (const std::string &name, const ValueType type)

virtual	~Value ()

virtual std::string	getRange () const

virtual std::string	getSymbolicExpression () const

virtual bool	isEqual (const DataBase *dataBase, int value) const

virtual bool	isGreaterThan (const DataBase *dataBase, int value) const

virtual bool	isLessThan (const DataBase *dataBase, int value) const

virtual bool	isUninit (const DataBase *dataBase) const

Public Attributes
const std::string	name

ValueType	type

Detailed Description

Definition at line 97 of file exprengine.h.

Constructor & Destructor Documentation

◆ Value()

ExprEngine::Value::Value	(	const std::string &	name,
		const ValueType	type
	)

inline

Definition at line 99 of file exprengine.h.

◆ ~Value()

virtual ExprEngine::Value::~Value ( )

inlinevirtual

Definition at line 100 of file exprengine.h.

Member Function Documentation

◆ getRange()

virtual std::string ExprEngine::Value::getRange ( ) const

inlinevirtual

Reimplemented in ExprEngine::AddressOfValue, ExprEngine::StructValue, ExprEngine::StringLiteralValue, ExprEngine::ArrayValue, ExprEngine::FloatRange, and ExprEngine::IntRange.

Definition at line 101 of file exprengine.h.

References name.

◆ getSymbolicExpression()

virtual std::string ExprEngine::Value::getSymbolicExpression ( ) const

inlinevirtual

Reimplemented in ExprEngine::IntegerTruncation, ExprEngine::StructValue, ExprEngine::ArrayValue, and ExprEngine::ConditionalValue.

Definition at line 104 of file exprengine.h.

References name.

◆ isEqual()

virtual bool ExprEngine::Value::isEqual	(	const DataBase *	dataBase,
		int	value
	)		const

inlinevirtual

Reimplemented in ExprEngine::BinOpResult, ExprEngine::FloatRange, ExprEngine::IntRange, ExprEngine::UninitValue, and ExprEngine::BailoutValue.

Definition at line 107 of file exprengine.h.

Referenced by checkFunctionCall(), and divByZero().

◆ isGreaterThan()

virtual bool ExprEngine::Value::isGreaterThan	(	const DataBase *	dataBase,
		int	value
	)		const

inlinevirtual

Reimplemented in ExprEngine::BinOpResult, ExprEngine::FloatRange, and ExprEngine::IntRange.

Definition at line 112 of file exprengine.h.

Referenced by arrayIndex(), checkAssignment(), and checkFunctionCall().

◆ isLessThan()

virtual bool ExprEngine::Value::isLessThan	(	const DataBase *	dataBase,
		int	value
	)		const

inlinevirtual

Reimplemented in ExprEngine::BinOpResult, ExprEngine::FloatRange, and ExprEngine::IntRange.

Definition at line 117 of file exprengine.h.

Referenced by arrayIndex(), checkAssignment(), and checkFunctionCall().

◆ isUninit()

virtual bool ExprEngine::Value::isUninit ( const DataBase * dataBase ) const

inlinevirtual

Reimplemented in ExprEngine::BailoutValue, and ExprEngine::UninitValue.

Definition at line 122 of file exprengine.h.

Referenced by divByZero(), and uninit().

Member Data Documentation

◆ name

const std::string ExprEngine::Value::name

Definition at line 127 of file exprengine.h.

Referenced by getRange(), and getSymbolicExpression().

◆ type

ValueType ExprEngine::Value::type

Definition at line 128 of file exprengine.h.

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

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

exprengine.h