ExprEngine::BinOpResult Class Reference

#include <exprengine.h>

Inheritance diagram for ExprEngine::BinOpResult:

Public Member Functions
	BinOpResult (const std::string &binop, ValuePtr op1, ValuePtr op2)
bool	isEqual (const DataBase *dataBase, int value) const override
bool	isGreaterThan (const DataBase *dataBase, int value) const override
virtual bool	isLessThan (const DataBase *dataBase, int value) const override
bool	isTrue (const DataBase *dataBase) const
std::string	getExpr (DataBase *dataBase) const
Public Member Functions inherited from ExprEngine::Value
	Value (const std::string &name, const ValueType type)
virtual	~Value ()
virtual std::string	getRange () const
virtual std::string	getSymbolicExpression () const
virtual bool	isUninit (const DataBase *dataBase) const

Public Attributes
std::string	binop
ValuePtr	op1
ValuePtr	op2
Public Attributes inherited from ExprEngine::Value
const std::string	name
ValueType	type

Static Private Member Functions
static std::string	getName (const std::string &binop, ValuePtr op1, ValuePtr op2)

Detailed Description

Definition at line 275 of file exprengine.h.

Constructor & Destructor Documentation

BinOpResult()

ExprEngine::BinOpResult::BinOpResult ( const std::string &  binop, ValuePtr  op1, ValuePtr  op2  )

inline

Definition at line 277 of file exprengine.h.

Member Function Documentation

getExpr()

std::string ExprEngine::BinOpResult::getExpr

(

ExprEngine::DataBase *

dataBase

)

const

Definition at line 1658 of file exprengine.cpp.

getName()

static std::string ExprEngine::BinOpResult::getName ( const std::string &  binop, ValuePtr  op1, ValuePtr  op2  )

inlinestaticprivate

Definition at line 294 of file exprengine.h.

References binop, op1, and op2.

isEqual()

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

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1555 of file exprengine.cpp.

Referenced by checkConditionBranches().

isGreaterThan()

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

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1581 of file exprengine.cpp.

isLessThan()

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

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1607 of file exprengine.cpp.

isTrue()

bool ExprEngine::BinOpResult::isTrue

(

const DataBase *

dataBase

)

const

Definition at line 1633 of file exprengine.cpp.

Referenced by checkConditionBranches(), and isLessThan().

Member Data Documentation

binop

std::string ExprEngine::BinOpResult::binop

Definition at line 290 of file exprengine.h.

Referenced by assignExprValue(), dumpRecursive(), and getName().

op1

ValuePtr ExprEngine::BinOpResult::op1

Definition at line 291 of file exprengine.h.

Referenced by assignExprValue(), dumpRecursive(), and getName().

op2

ValuePtr ExprEngine::BinOpResult::op2

Definition at line 292 of file exprengine.h.

Referenced by assignExprValue(), dumpRecursive(), and getName().

---

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

• exprengine.h
• exprengine.cpp