clang::tidy::readability::SimplifyBooleanExprCheck::Visitor Class Reference

Inheritance diagram for clang::tidy::readability::SimplifyBooleanExprCheck::Visitor:

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 261 of file SimplifyBooleanExprCheck.cpp.

Member Typedef Documentation

DeclAndBool

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

Definition at line 331 of file SimplifyBooleanExprCheck.cpp.

ExprAndBool

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

Definition at line 330 of file SimplifyBooleanExprCheck.cpp.

Constructor & Destructor Documentation

Visitor()

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

inline

Definition at line 265 of file SimplifyBooleanExprCheck.cpp.

Member Function Documentation

checkEitherSide()

template<typename Functor >

static bool clang::tidy::readability::SimplifyBooleanExprCheck::Visitor::checkEitherSide ( const BinaryOperator *  BO, Functor  Func  )

inlinestatic

Definition at line 529 of file SimplifyBooleanExprCheck.cpp.

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

checkSingleStatement()

template<typename Functor >

static 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 349 of file SimplifyBooleanExprCheck.cpp.

Referenced by VisitCompoundStmt(), and VisitIfStmt().

dataTraverseStmtPost()

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

inline

Definition at line 292 of file SimplifyBooleanExprCheck.cpp.

References shouldIgnore().

dataTraverseStmtPre()

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

inline

Definition at line 281 of file SimplifyBooleanExprCheck.cpp.

References shouldIgnore().

getAsBoolLiteral()

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

inlinestatic

Definition at line 306 of file SimplifyBooleanExprCheck.cpp.

References E, and getAsBoolLiteral().

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

isExpectedBinaryOp()

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

inline

Definition at line 522 of file SimplifyBooleanExprCheck.cpp.

References E.

Referenced by TraverseUnaryOperator().

isExpectedUnaryLNot()

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

inline

Definition at line 517 of file SimplifyBooleanExprCheck.cpp.

References E.

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

nestedDemorgan()

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

inline

Definition at line 533 of file SimplifyBooleanExprCheck.cpp.

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

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

parent()

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

inline

Definition at line 358 of file SimplifyBooleanExprCheck.cpp.

Referenced by TraverseUnaryOperator(), and VisitIfStmt().

parseReturnLiteralBool()

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

inlinestatic

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

Definition at line 334 of file SimplifyBooleanExprCheck.cpp.

References getAsBoolLiteral().

Referenced by VisitCompoundStmt(), and VisitIfStmt().

shouldIgnore()

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

inlinestatic

Definition at line 270 of file SimplifyBooleanExprCheck.cpp.

Referenced by dataTraverseStmtPost(), and dataTraverseStmtPre().

traverse()

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

inline

Definition at line 268 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 561 of file SimplifyBooleanExprCheck.cpp.

References clang::tidy::ClangTidyCheck::areDiagsSelfContained(), checkEitherSide(), E, isExpectedBinaryOp(), isExpectedUnaryLNot(), nestedDemorgan(), and parent().

VisitBinaryOperator()

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

inline

Definition at line 300 of file SimplifyBooleanExprCheck.cpp.

VisitCompoundStmt()

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

inline

Definition at line 458 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 442 of file SimplifyBooleanExprCheck.cpp.

References getAsBoolLiteral().

VisitIfStmt()

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

inline

Definition at line 362 of file SimplifyBooleanExprCheck.cpp.

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

---

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

• SimplifyBooleanExprCheck.cpp