ThreadSafetyLogical.cpp File Reference

#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"

Go to the source code of this file.

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::threadSafety
namespace	clang::threadSafety::lexpr

Functions
static bool	implies (const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg)
bool	clang::threadSafety::lexpr::implies (const LExpr *LHS, const LExpr *RHS)
	Logical implication.

Function Documentation

implies()

static bool implies ( const LExpr *  LHS, bool  LNeg, const LExpr *  RHS, bool  RNeg  )

static

Definition at line 19 of file ThreadSafetyLogical.cpp.

References clang::threadSafety::lexpr::LExpr::And, exp, implies(), clang::threadSafety::lexpr::LExpr::kind(), clang::threadSafety::lexpr::LExpr::Not, clang::threadSafety::lexpr::LExpr::Or, and clang::threadSafety::lexpr::LExpr::Terminal.

Referenced by implies().