clang 22.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, bool Reentrant)
 CapabilityExpr (const til::SExpr *E, QualType QT, bool Neg)
template<typename T>
 CapabilityExpr (const til::SExpr *, T, bool, bool)=delete
const til::SExpr * sexpr () const
StringRef getKind () const
bool negative () const
bool reentrant () 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 ValueDecl * valueDecl () const
std::string toString () const
bool shouldIgnore () const
bool isInvalid () const
bool isUniversal () const

Detailed Description

Definition at line 274 of file ThreadSafetyCommon.h.

Constructor & Destructor Documentation

◆ CapabilityExpr() [1/4]

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

Definition at line 286 of file ThreadSafetyCommon.h.

References clang::nullptr.

Referenced by CapabilityExpr(), equals(), matches(), matchesUniv(), operator!(), and partiallyMatches().

◆ CapabilityExpr() [2/4]

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

Definition at line 287 of file ThreadSafetyCommon.h.

◆ CapabilityExpr() [3/4]

CapabilityExpr::CapabilityExpr ( const til::SExpr * E,
QualType QT,
bool Neg )

Definition at line 97 of file ThreadSafetyCommon.cpp.

References CapabilityExpr(), and classifyCapability().

◆ CapabilityExpr() [4/4]

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

References clang::T.

Member Function Documentation

◆ equals()

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

Definition at line 307 of file ThreadSafetyCommon.h.

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

◆ getKind()

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

Definition at line 298 of file ThreadSafetyCommon.h.

◆ isInvalid()

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

Definition at line 344 of file ThreadSafetyCommon.h.

References sexpr().

◆ isUniversal()

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

Definition at line 346 of file ThreadSafetyCommon.h.

References sexpr().

Referenced by matchesUniv().

◆ matches()

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

Definition at line 312 of file ThreadSafetyCommon.h.

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

Referenced by matchesUniv().

◆ matchesUniv()

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

Definition at line 317 of file ThreadSafetyCommon.h.

References CapabilityExpr(), isUniversal(), and matches().

◆ negative()

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

Definition at line 299 of file ThreadSafetyCommon.h.

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

◆ operator!()

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

Definition at line 302 of file ThreadSafetyCommon.h.

References CapabilityExpr(), negative(), and reentrant().

◆ partiallyMatches()

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

Definition at line 321 of file ThreadSafetyCommon.h.

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

◆ reentrant()

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

Definition at line 300 of file ThreadSafetyCommon.h.

Referenced by operator!().

◆ sexpr()

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

Definition at line 297 of file ThreadSafetyCommon.h.

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

◆ shouldIgnore()

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

Definition at line 342 of file ThreadSafetyCommon.h.

References sexpr().

◆ toString()

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

Definition at line 336 of file ThreadSafetyCommon.h.

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

◆ valueDecl()

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

Definition at line 326 of file ThreadSafetyCommon.h.

References negative(), and sexpr().

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

The documentation for this class was generated from the following files:
Generated on for clang by doxygen 1.14.0