|
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 |
Public Member Functions inherited from ExprEngine::Value | |
| 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 |
Public Attributes inherited from ExprEngine::Value | |
| 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().