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()

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, clang::cast(), exp, clang::threadSafety::lexpr::implies(), clang::threadSafety::lexpr::LExpr::kind(), clang::threadSafety::lexpr::LExpr::Not, clang::threadSafety::lexpr::LExpr::Or, and clang::threadSafety::lexpr::LExpr::Terminal.