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	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.
static bool	isUnaryLNot (const Expr *E)
template<typename Functor >
static bool	checkEitherSide (const BinaryOperator *BO, Functor Func)
static bool	nestedDemorgan (const Expr *E, unsigned NestingLevel)

Detailed Description

Definition at line 259 of file SimplifyBooleanExprCheck.cpp.

Member Typedef Documentation

DeclAndBool

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

Definition at line 324 of file SimplifyBooleanExprCheck.cpp.

ExprAndBool

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

Definition at line 323 of file SimplifyBooleanExprCheck.cpp.

Constructor & Destructor Documentation

Visitor()

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

inline

Definition at line 263 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 516 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 342 of file SimplifyBooleanExprCheck.cpp.

Referenced by VisitCompoundStmt(), and VisitIfStmt().

dataTraverseStmtPost()

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

inline

Definition at line 285 of file SimplifyBooleanExprCheck.cpp.

References shouldIgnore().

dataTraverseStmtPre()

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

inline

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

References E, and getAsBoolLiteral().

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

isUnaryLNot()

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

inlinestatic

Definition at line 510 of file SimplifyBooleanExprCheck.cpp.

References E.

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

nestedDemorgan()

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

inlinestatic

Definition at line 520 of file SimplifyBooleanExprCheck.cpp.

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

Referenced by nestedDemorgan(), and TraverseUnaryOperator().

parent()

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

inline

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

Referenced by dataTraverseStmtPost(), and dataTraverseStmtPre().

traverse()

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

inline

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

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

VisitBinaryOperator()

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

inline

Definition at line 293 of file SimplifyBooleanExprCheck.cpp.

VisitCompoundStmt()

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

inline

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

References getAsBoolLiteral().

VisitIfStmt()

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

inline

Definition at line 355 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