Cppcheck
|
#include <exprengine.h>
Public Member Functions | |
StructValue (const std::string &name) | |
std::string | getSymbolicExpression () const override |
std::string | getRange () const override |
ValuePtr | getValueOfMember (const std::string &n) const |
std::string | getUninitStructMember (const DataBase *dataBase) const |
![]() | |
Value (const std::string &name, const ValueType type) | |
virtual | ~Value () |
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 | |
std::map< std::string, ValuePtr > | member |
![]() | |
const std::string | name |
ValueType | type |
Definition at line 235 of file exprengine.h.
|
inlineexplicit |
Definition at line 237 of file exprengine.h.
|
inlineoverridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 241 of file exprengine.h.
References getSymbolicExpression().
|
overridevirtual |
Reimplemented from ExprEngine::Value.
Definition at line 1098 of file exprengine.cpp.
Referenced by getRange().
|
inline |
Definition at line 250 of file exprengine.h.
References member.
|
inline |
Definition at line 245 of file exprengine.h.
References member.
std::map<std::string, ValuePtr> ExprEngine::StructValue::member |
Definition at line 258 of file exprengine.h.
Referenced by getUninitStructMember(), and getValueOfMember().