ConditionHandler::Condition Struct Reference

Public Member Functions
bool	isBool () const
MathLib::bigint	getPath () const
Token *	getContextAndValues (Token *condTok, std::list< ValueFlow::Value > &thenValues, std::list< ValueFlow::Value > &elseValues, bool known=false) const

Static Public Member Functions
static MathLib::bigint	findPath (const std::list< ValueFlow::Value > &values)

Public Attributes
const Token *	vartok {}
std::list< ValueFlow::Value >	true_values
std::list< ValueFlow::Value >	false_values
bool	inverted = false
bool	impossible = true

Detailed Description

Definition at line 6293 of file valueflow.cpp.

Member Function Documentation

findPath()

static MathLib::bigint ConditionHandler::Condition::findPath ( const std::list< ValueFlow::Value > &  values )

inlinestatic

Definition at line 6305 of file valueflow.cpp.

Referenced by getPath().

getContextAndValues()

Token* ConditionHandler::Condition::getContextAndValues ( Token *  condTok, std::list< ValueFlow::Value > &  thenValues, std::list< ValueFlow::Value > &  elseValues, bool  known = false  ) const

inline

Definition at line 6324 of file valueflow.cpp.

References false_values, getPath(), impossible, insertImpossible(), insertNegateKnown(), inverted, isBool(), isConditionKnown(), Token::Match(), ConditionHandler::skipNotAndCasts(), true_values, and vartok.

Referenced by ConditionHandler::afterCondition().

getPath()

MathLib::bigint ConditionHandler::Condition::getPath ( ) const

inline

Definition at line 6318 of file valueflow.cpp.

References false_values, findPath(), and true_values.

Referenced by ConditionHandler::afterCondition(), and getContextAndValues().

isBool()

bool ConditionHandler::Condition::isBool ( ) const

inline

Definition at line 6301 of file valueflow.cpp.

References astIsBool(), and vartok.

Referenced by ConditionHandler::afterCondition(), and getContextAndValues().

Member Data Documentation

false_values

std::list<ValueFlow::Value> ConditionHandler::Condition::false_values

Definition at line 6296 of file valueflow.cpp.

Referenced by ConditionHandler::beforeCondition(), getContextAndValues(), getPath(), SimpleConditionHandler::parse(), IteratorConditionHandler::parse(), SymbolicConditionHandler::parse(), ContainerConditionHandler::parse(), and ConditionHandler::traverseCondition().

impossible

bool ConditionHandler::Condition::impossible = true

Definition at line 6299 of file valueflow.cpp.

Referenced by getContextAndValues(), and ContainerConditionHandler::parse().

inverted

bool ConditionHandler::Condition::inverted = false

Definition at line 6297 of file valueflow.cpp.

Referenced by getContextAndValues(), SymbolicConditionHandler::parse(), and ContainerConditionHandler::parse().

true_values

std::list<ValueFlow::Value> ConditionHandler::Condition::true_values

Definition at line 6295 of file valueflow.cpp.

Referenced by ConditionHandler::beforeCondition(), getContextAndValues(), getPath(), SimpleConditionHandler::parse(), IteratorConditionHandler::parse(), SymbolicConditionHandler::parse(), ContainerConditionHandler::parse(), and ConditionHandler::traverseCondition().

vartok

const Token* ConditionHandler::Condition::vartok {}

Definition at line 6294 of file valueflow.cpp.

Referenced by ConditionHandler::afterCondition(), ConditionHandler::beforeCondition(), getContextAndValues(), isBool(), SimpleConditionHandler::parse(), IteratorConditionHandler::parse(), SymbolicConditionHandler::parse(), ContainerConditionHandler::parse(), and ConditionHandler::traverseCondition().

---

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

• valueflow.cpp