clang 19.0.0git
Public Member Functions | List of all members
clang::threadSafety::CapabilityExpr Class Reference

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

Public Member Functions

 CapabilityExpr ()
 
 CapabilityExpr (const til::SExpr *E, StringRef Kind, bool Neg)
 
template<typename T >
 CapabilityExpr (const til::SExpr *, T, bool)=delete
 
const til::SExprsexpr () const
 
StringRef getKind () 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 272 of file ThreadSafetyCommon.h.

Constructor & Destructor Documentation

◆ CapabilityExpr() [1/3]

clang::threadSafety::CapabilityExpr::CapabilityExpr ( )
inline

Definition at line 281 of file ThreadSafetyCommon.h.

Referenced by operator!().

◆ CapabilityExpr() [2/3]

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

Definition at line 282 of file ThreadSafetyCommon.h.

◆ CapabilityExpr() [3/3]

template<typename T >
clang::threadSafety::CapabilityExpr::CapabilityExpr ( const til::SExpr ,
,
bool   
)
delete

Member Function Documentation

◆ equals()

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

Definition at line 296 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::equals(), negative(), and sexpr().

◆ getKind()

StringRef clang::threadSafety::CapabilityExpr::getKind ( ) const
inline

Definition at line 289 of file ThreadSafetyCommon.h.

◆ isInvalid()

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

Definition at line 333 of file ThreadSafetyCommon.h.

References sexpr().

◆ isUniversal()

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

Definition at line 335 of file ThreadSafetyCommon.h.

References sexpr().

Referenced by matchesUniv().

◆ matches()

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

Definition at line 301 of file ThreadSafetyCommon.h.

References clang::threadSafety::sx::matches(), negative(), and sexpr().

Referenced by matchesUniv().

◆ matchesUniv()

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

Definition at line 306 of file ThreadSafetyCommon.h.

References isUniversal(), and matches().

◆ negative()

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

Definition at line 290 of file ThreadSafetyCommon.h.

Referenced by equals(), matches(), partiallyMatches(), toString(), and valueDecl().

◆ operator!()

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

Definition at line 292 of file ThreadSafetyCommon.h.

References CapabilityExpr().

◆ partiallyMatches()

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

◆ sexpr()

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

◆ shouldIgnore()

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

Definition at line 331 of file ThreadSafetyCommon.h.

References sexpr().

◆ toString()

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

Definition at line 325 of file ThreadSafetyCommon.h.

References negative(), sexpr(), and clang::threadSafety::sx::toString().

◆ valueDecl()

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

Definition at line 315 of file ThreadSafetyCommon.h.

References negative(), P, and sexpr().

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


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