SymbolicInferModel Struct Reference

Inheritance diagram for SymbolicInferModel:

Public Member Functions
	SymbolicInferModel (const Token *tok)
bool	match (const ValueFlow::Value &value) const override
ValueFlow::Value	yield (MathLib::bigint value) const override
Public Member Functions inherited from InferModel
virtual	~InferModel ()=default
	InferModel (const InferModel &)=default

Public Attributes
const Token *	expr

Additional Inherited Members
Protected Member Functions inherited from InferModel
	InferModel ()=default

Detailed Description

Definition at line 5728 of file valueflow.cpp.

Constructor & Destructor Documentation

SymbolicInferModel()

SymbolicInferModel::SymbolicInferModel ( const Token *  tok )

inlineexplicit

Definition at line 5730 of file valueflow.cpp.

References expr, and Token::exprId().

Member Function Documentation

match()

bool SymbolicInferModel::match ( const ValueFlow::Value &  value ) const

inlineoverridevirtual

Implements InferModel.

Definition at line 5733 of file valueflow.cpp.

References expr, Token::exprId(), ValueFlow::Value::isSymbolicValue(), and ValueFlow::Value::tokvalue.

yield()

ValueFlow::Value SymbolicInferModel::yield ( MathLib::bigint  value ) const

inlineoverridevirtual

Implements InferModel.

Definition at line 5737 of file valueflow.cpp.

References expr, ValueFlow::Value::setKnown(), ValueFlow::Value::SYMBOLIC, ValueFlow::Value::tokvalue, and ValueFlow::Value::valueType.

Member Data Documentation

expr

const Token* SymbolicInferModel::expr

Definition at line 5729 of file valueflow.cpp.

Referenced by match(), SymbolicInferModel(), and yield().

---

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

• valueflow.cpp