Inheritance diagram for ContainerConditionHandler:
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 | |
Additional Inherited Members | |
| 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) |
| Protected Member Functions inherited from ConditionHandler | |
| ConditionHandler ()=default | |
Detailed Description
Definition at line 9024 of file valueflow.cpp.
Member Function Documentation
◆ parse()
|
inlineoverridevirtual |
Implements ConditionHandler.
Definition at line 9025 of file valueflow.cpp.
References astIsContainer(), Token::astOperand1(), Token::astOperand2(), Token::astParent(), ValueFlow::Value::CONTAINER_SIZE, Library::Container::EMPTY, ConditionHandler::Condition::false_values, Library::getContainerFromYield(), Token::getStrLength(), ConditionHandler::Condition::impossible, ConditionHandler::Condition::inverted, Settings::library, Token::Match(), parseCompareEachInt(), Library::Container::SIZE, Token::str(), ConditionHandler::Condition::true_values, ValueFlow::Value::valueType, and ConditionHandler::Condition::vartok.
The documentation for this struct was generated from the following file:
