clang-tools 22.0.0git
Classes | Public Types | Public Member Functions | Static Public Member Functions | List of all members
clang::tidy::readability::SimplifyBooleanExprCheck::Visitor Class Reference
Inheritance diagram for clang::tidy::readability::SimplifyBooleanExprCheck::Visitor:
[legend]

Classes

struct  NodeAndBool

Public Types

using ExprAndBool = NodeAndBool<Expr>
using DeclAndBool = NodeAndBool<Decl>

Public Member Functions

 Visitor (SimplifyBooleanExprCheck *Check, ASTContext &Context)
bool traverse ()
bool dataTraverseStmtPre (Stmt *S)
bool dataTraverseStmtPost (Stmt *S)
bool VisitBinaryOperator (const BinaryOperator *Op) const
Stmt * parent () const
bool VisitIfStmt (IfStmt *If)
bool VisitConditionalOperator (ConditionalOperator *Cond)
bool VisitCompoundStmt (CompoundStmt *CS)
bool isExpectedUnaryLNot (const Expr *E)
bool isExpectedBinaryOp (const Expr *E)
bool nestedDemorgan (const Expr *E, unsigned NestingLevel)
bool TraverseUnaryOperator (UnaryOperator *Op)

Static Public Member Functions

static bool shouldIgnore (Stmt *S)
static std::optional< bool > getAsBoolLiteral (const Expr *E, bool FilterMacro)
static ExprAndBool parseReturnLiteralBool (const Stmt *S)
 Detect's return (true|false|!true|!false);.
template<typename Functor>
static auto checkSingleStatement (Stmt *S, Functor F) -> decltype(F(S))
 If S is not a CompoundStmt, applies F on S, otherwise if there is only 1 statement in the CompoundStmt, applies F on that single statement.
template<typename Functor>
static bool checkEitherSide (const BinaryOperator *BO, Functor Func)

Detailed Description

Definition at line 258 of file SimplifyBooleanExprCheck.cpp.

Member Typedef Documentation

◆ DeclAndBool

using clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::DeclAndBool = NodeAndBool<Decl>

Definition at line 328 of file SimplifyBooleanExprCheck.cpp.

◆ ExprAndBool

using clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::ExprAndBool = NodeAndBool<Expr>

Definition at line 327 of file SimplifyBooleanExprCheck.cpp.

Constructor & Destructor Documentation

◆ Visitor()

clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::Visitor ( SimplifyBooleanExprCheck * Check,
ASTContext & Context )
inline

Definition at line 262 of file SimplifyBooleanExprCheck.cpp.

References clang::tidy::readability::SimplifyBooleanExprCheck::SimplifyBooleanExprCheck().

Member Function Documentation

◆ checkEitherSide()

template<typename Functor>
bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::checkEitherSide ( const BinaryOperator * BO,
Functor Func )
inlinestatic

Definition at line 526 of file SimplifyBooleanExprCheck.cpp.

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

◆ checkSingleStatement()

template<typename Functor>
auto clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::checkSingleStatement ( Stmt * S,
Functor F ) -> decltype(F(S))
inlinestatic

If S is not a CompoundStmt, applies F on S, otherwise if there is only 1 statement in the CompoundStmt, applies F on that single statement.

Definition at line 346 of file SimplifyBooleanExprCheck.cpp.

Referenced by VisitCompoundStmt(), and VisitIfStmt().

◆ dataTraverseStmtPost()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::dataTraverseStmtPost ( Stmt * S)
inline

Definition at line 289 of file SimplifyBooleanExprCheck.cpp.

References shouldIgnore().

◆ dataTraverseStmtPre()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::dataTraverseStmtPre ( Stmt * S)
inline

Definition at line 278 of file SimplifyBooleanExprCheck.cpp.

References shouldIgnore().

◆ getAsBoolLiteral()

std::optional< bool > clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::getAsBoolLiteral ( const Expr * E,
bool FilterMacro )
inlinestatic

Definition at line 303 of file SimplifyBooleanExprCheck.cpp.

References getAsBoolLiteral().

Referenced by getAsBoolLiteral(), parseReturnLiteralBool(), VisitConditionalOperator(), and VisitIfStmt().

◆ isExpectedBinaryOp()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::isExpectedBinaryOp ( const Expr * E)
inline

Definition at line 519 of file SimplifyBooleanExprCheck.cpp.

Referenced by TraverseUnaryOperator().

◆ isExpectedUnaryLNot()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::isExpectedUnaryLNot ( const Expr * E)
inline

Definition at line 514 of file SimplifyBooleanExprCheck.cpp.

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

◆ nestedDemorgan()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::nestedDemorgan ( const Expr * E,
unsigned NestingLevel )
inline

Definition at line 530 of file SimplifyBooleanExprCheck.cpp.

References checkEitherSide(), isExpectedUnaryLNot(), and nestedDemorgan().

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

◆ parent()

Stmt * clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::parent ( ) const
inline

Definition at line 355 of file SimplifyBooleanExprCheck.cpp.

Referenced by TraverseUnaryOperator(), and VisitIfStmt().

◆ parseReturnLiteralBool()

ExprAndBool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::parseReturnLiteralBool ( const Stmt * S)
inlinestatic

Detect's return (true|false|!true|!false);.

Definition at line 331 of file SimplifyBooleanExprCheck.cpp.

References getAsBoolLiteral().

Referenced by VisitCompoundStmt(), and VisitIfStmt().

◆ shouldIgnore()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::shouldIgnore ( Stmt * S)
inlinestatic

Definition at line 267 of file SimplifyBooleanExprCheck.cpp.

Referenced by dataTraverseStmtPost(), and dataTraverseStmtPre().

◆ traverse()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::traverse ( )
inline

Definition at line 265 of file SimplifyBooleanExprCheck.cpp.

Referenced by clang::tidy::readability::SimplifyBooleanExprCheck::check().

◆ TraverseUnaryOperator()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::TraverseUnaryOperator ( UnaryOperator * Op)
inline

Definition at line 558 of file SimplifyBooleanExprCheck.cpp.

References checkEitherSide(), isExpectedBinaryOp(), isExpectedUnaryLNot(), nestedDemorgan(), and parent().

◆ VisitBinaryOperator()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::VisitBinaryOperator ( const BinaryOperator * Op) const
inline

Definition at line 297 of file SimplifyBooleanExprCheck.cpp.

◆ VisitCompoundStmt()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::VisitCompoundStmt ( CompoundStmt * CS)
inline

Definition at line 455 of file SimplifyBooleanExprCheck.cpp.

References clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::NodeAndBool< Node >::Bool, checkSingleStatement(), clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::NodeAndBool< Node >::Item, and parseReturnLiteralBool().

◆ VisitConditionalOperator()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::VisitConditionalOperator ( ConditionalOperator * Cond)
inline

Definition at line 439 of file SimplifyBooleanExprCheck.cpp.

References getAsBoolLiteral().

◆ VisitIfStmt()

bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::VisitIfStmt ( IfStmt * If)
inline

Definition at line 359 of file SimplifyBooleanExprCheck.cpp.

References clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::NodeAndBool< Node >::Bool, checkSingleStatement(), getAsBoolLiteral(), clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::NodeAndBool< Node >::Item, parent(), and parseReturnLiteralBool().

The documentation for this class was generated from the following file:
Generated on for clang-tools by doxygen 1.14.0