clang  7.0.0svn
Public Member Functions | List of all members
clang::threadSafety::CapabilityExpr Class Reference

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

Public Member Functions

 CapabilityExpr (const til::SExpr *E, bool Neg)
 
const til::SExprsexpr () const
 
bool negative () const
 
CapabilityExpr operator! () const
 
bool equals (const CapabilityExpr &other) const
 
bool matches (const CapabilityExpr &other) const
 
bool matchesUniv (const CapabilityExpr &CapE) const
 
bool partiallyMatches (const CapabilityExpr &other) const
 
const ValueDeclvalueDecl () const
 
std::string toString () const
 
bool shouldIgnore () const
 
bool isInvalid () const
 
bool isUniversal () const
 

Detailed Description

Definition at line 271 of file ThreadSafetyCommon.h.

Constructor & Destructor Documentation

◆ CapabilityExpr()

clang::threadSafety::CapabilityExpr::CapabilityExpr ( const til::SExpr E,
bool  Neg 
)
inline

Definition at line 280 of file ThreadSafetyCommon.h.

Member Function Documentation

◆ equals()

bool clang::threadSafety::CapabilityExpr::equals ( const CapabilityExpr other) const
inline

Definition at line 289 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::equals().

Referenced by warnInvalidLock().

◆ isInvalid()

bool clang::threadSafety::CapabilityExpr::isInvalid ( ) const
inline

Definition at line 324 of file ThreadSafetyCommon.h.

Referenced by ClassifyDiagnostic().

◆ isUniversal()

bool clang::threadSafety::CapabilityExpr::isUniversal ( ) const
inline

Definition at line 326 of file ThreadSafetyCommon.h.

◆ matches()

bool clang::threadSafety::CapabilityExpr::matches ( const CapabilityExpr other) const
inline

Definition at line 293 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::matches().

◆ matchesUniv()

bool clang::threadSafety::CapabilityExpr::matchesUniv ( const CapabilityExpr CapE) const
inline

Definition at line 297 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::matches().

◆ negative()

bool clang::threadSafety::CapabilityExpr::negative ( ) const
inline

Definition at line 283 of file ThreadSafetyCommon.h.

Referenced by findBlockLocations().

◆ operator!()

CapabilityExpr clang::threadSafety::CapabilityExpr::operator! ( ) const
inline

Definition at line 285 of file ThreadSafetyCommon.h.

◆ partiallyMatches()

bool clang::threadSafety::CapabilityExpr::partiallyMatches ( const CapabilityExpr other) const
inline

Definition at line 301 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::partiallyMatches().

◆ sexpr()

const til::SExpr* clang::threadSafety::CapabilityExpr::sexpr ( ) const
inline

Definition at line 282 of file ThreadSafetyCommon.h.

Referenced by ClassifyDiagnostic().

◆ shouldIgnore()

bool clang::threadSafety::CapabilityExpr::shouldIgnore ( ) const
inline

Definition at line 322 of file ThreadSafetyCommon.h.

Referenced by ClassifyDiagnostic().

◆ toString()

std::string clang::threadSafety::CapabilityExpr::toString ( ) const
inline

Definition at line 316 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::toString().

Referenced by ClassifyDiagnostic(), and findBlockLocations().

◆ valueDecl()

const ValueDecl* clang::threadSafety::CapabilityExpr::valueDecl ( ) const
inline

Definition at line 306 of file ThreadSafetyCommon.h.

References P.

Referenced by clang::threadSafety::BeforeSet::insertAttrExprs().


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