Cppcheck
Public Member Functions | Public Attributes | List of all members
ExprEngine::StructValue Class Reference

#include <exprengine.h>

Inheritance diagram for ExprEngine::StructValue:
ExprEngine::Value

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, ValuePtrmember
 
- Public Attributes inherited from ExprEngine::Value
const std::string name
 
ValueType type
 

Detailed Description

Definition at line 235 of file exprengine.h.

Constructor & Destructor Documentation

◆ StructValue()

ExprEngine::StructValue::StructValue ( const std::string &  name)
inlineexplicit

Definition at line 237 of file exprengine.h.

Member Function Documentation

◆ getRange()

std::string ExprEngine::StructValue::getRange ( ) const
inlineoverridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 241 of file exprengine.h.

References getSymbolicExpression().

◆ getSymbolicExpression()

std::string ExprEngine::StructValue::getSymbolicExpression ( ) const
overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1098 of file exprengine.cpp.

Referenced by getRange().

◆ getUninitStructMember()

std::string ExprEngine::StructValue::getUninitStructMember ( const DataBase dataBase) const
inline

Definition at line 250 of file exprengine.h.

References member.

◆ getValueOfMember()

ValuePtr ExprEngine::StructValue::getValueOfMember ( const std::string &  n) const
inline

Definition at line 245 of file exprengine.h.

References member.

Member Data Documentation

◆ member

std::map<std::string, ValuePtr> ExprEngine::StructValue::member

Definition at line 258 of file exprengine.h.

Referenced by getUninitStructMember(), and getValueOfMember().


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