Public Member Functions | |
| std::vector< Condition > | parse (const Token *tok, const Settings &settings) const override |
 Public Member Functions inherited from ConditionHandler | |
| virtual Analyzer::Result | forward (Token *start, const Token *stop, const Token *exprTok, const std::list< ValueFlow::Value > &values, TokenList &tokenlist, ErrorLogger &errorLogger, const Settings &settings, SourceLocation loc=SourceLocation::current()) const |
| virtual Analyzer::Result | forward (Token *top, const Token *exprTok, const std::list< ValueFlow::Value > &values, TokenList &tokenlist, ErrorLogger &errorLogger, const Settings &settings, SourceLocation loc=SourceLocation::current()) const |
| virtual void | reverse (Token *start, const Token *endToken, const Token *exprTok, const std::list< ValueFlow::Value > &values, TokenList &tokenlist, ErrorLogger &errorLogger, const Settings &settings, SourceLocation loc=SourceLocation::current()) const |
| void | traverseCondition (const SymbolDatabase &symboldatabase, const Settings &settings, const std::set< const Scope * > &skippedFunctions, const std::function< void(const Condition &cond, Token *tok, const Scope *scope)> &f) const |
| void | beforeCondition (TokenList &tokenlist, const SymbolDatabase &symboldatabase, ErrorLogger &errorLogger, const Settings &settings, const std::set< const Scope * > &skippedFunctions) const |
| void | afterCondition (TokenList &tokenlist, const SymbolDatabase &symboldatabase, ErrorLogger &errorLogger, const Settings &settings, const std::set< const Scope * > &skippedFunctions) const |
| virtual | ~ConditionHandler ()=default |
| ConditionHandler (const ConditionHandler &)=default | |
Static Public Member Functions | |
| static bool | isNegatedBool (const Token *tok) |
| static const Token * | skipNot (const Token *tok) |
| Static Public Member Functions inherited from ConditionHandler | |
| static Token * | skipNotAndCasts (Token *tok, bool *inverted=nullptr) |
| static void | fillFromPath (ProgramMemory &pm, const Token *top, MathLib::bigint path, const Settings &settings) |
Additional Inherited Members | |
| Protected Member Functions inherited from ConditionHandler | |
| ConditionHandler ()=default | |
Detailed Description
Definition at line 7084 of file valueflow.cpp.
Member Function Documentation
◆ isNegatedBool()
|
inlinestatic |
Definition at line 7086 of file valueflow.cpp.
References astIsBool(), Token::astOperand1(), and Token::simpleMatch().
Referenced by parse().
◆ parse()
|
inlineoverridevirtual |
Reimplemented from SimpleConditionHandler.
Definition at line 7100 of file valueflow.cpp.
References Token::astOperand1(), Token::astOperand2(), Token::exprId(), ConditionHandler::Condition::false_values, Token::hasKnownIntValue(), Token::hasKnownSymbolicValue(), ConditionHandler::Condition::inverted, isConstExpression(), isNegatedBool(), Settings::library, Token::Match(), setConditionalValues(), setSymbolic(), skipNot(), ConditionHandler::Condition::true_values, and ConditionHandler::Condition::vartok.
◆ skipNot()
Definition at line 7093 of file valueflow.cpp.
References Token::astOperand1(), and Token::simpleMatch().
Referenced by parse().
The documentation for this struct was generated from the following file:
