#include <ThreadSafetyCommon.h>
Public Member Functions | |
| CapabilityExpr (const til::SExpr *E, bool Neg) | |
| const til::SExpr * | sexpr () 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 |
| std::string | toString () const |
| bool | shouldIgnore () const |
| bool | isInvalid () const |
| bool | isUniversal () const |
Detailed Description
Definition at line 254 of file ThreadSafetyCommon.h.
Constructor & Destructor Documentation
| clang::threadSafety::CapabilityExpr::CapabilityExpr | ( | const til::SExpr * | E, |
| bool | Neg | ||
| ) | [inline] |
Definition at line 264 of file ThreadSafetyCommon.h.
Referenced by operator!().
Member Function Documentation
| bool clang::threadSafety::CapabilityExpr::equals | ( | const CapabilityExpr & | other | ) | const [inline] |
Definition at line 273 of file ThreadSafetyCommon.h.
Referenced by clang::threadSafety::CapExprSet::push_back_nodup().
| bool clang::threadSafety::CapabilityExpr::isInvalid | ( | ) | const [inline] |
Definition at line 298 of file ThreadSafetyCommon.h.
References sexpr().
Referenced by clang::threadSafety::ThreadSafetyAnalyzer::getMutexIDs().
| bool clang::threadSafety::CapabilityExpr::isUniversal | ( | ) | const [inline] |
Definition at line 300 of file ThreadSafetyCommon.h.
References sexpr().
Referenced by clang::threadSafety::LockableFactEntry::handleRemovalFromIntersection(), and matchesUniv().
| bool clang::threadSafety::CapabilityExpr::matches | ( | const CapabilityExpr & | other | ) | const [inline] |
Definition at line 277 of file ThreadSafetyCommon.h.
Referenced by matchesUniv().
| bool clang::threadSafety::CapabilityExpr::matchesUniv | ( | const CapabilityExpr & | CapE | ) | const [inline] |
Definition at line 281 of file ThreadSafetyCommon.h.
References isUniversal(), and matches().
| bool clang::threadSafety::CapabilityExpr::negative | ( | ) | const [inline] |
Definition at line 267 of file ThreadSafetyCommon.h.
Referenced by clang::threadSafety::LockableFactEntry::handleRemovalFromIntersection(), clang::threadSafety::LockableFactEntry::handleUnlock(), and clang::threadSafety::ScopedLockableFactEntry::handleUnlock().
| CapabilityExpr clang::threadSafety::CapabilityExpr::operator! | ( | ) | const [inline] |
Definition at line 269 of file ThreadSafetyCommon.h.
References CapabilityExpr().
| bool clang::threadSafety::CapabilityExpr::partiallyMatches | ( | const CapabilityExpr & | other | ) | const [inline] |
Definition at line 285 of file ThreadSafetyCommon.h.
| const til::SExpr* clang::threadSafety::CapabilityExpr::sexpr | ( | ) | const [inline] |
Definition at line 266 of file ThreadSafetyCommon.h.
Referenced by clang::threadSafety::ThreadSafetyAnalyzer::inCurrentScope(), isInvalid(), and isUniversal().
| bool clang::threadSafety::CapabilityExpr::shouldIgnore | ( | ) | const [inline] |
Definition at line 296 of file ThreadSafetyCommon.h.
Referenced by clang::threadSafety::ThreadSafetyAnalyzer::getMutexIDs(), and clang::threadSafety::ThreadSafetyAnalyzer::removeLock().
| std::string clang::threadSafety::CapabilityExpr::toString | ( | ) | const [inline] |
Definition at line 290 of file ThreadSafetyCommon.h.
Referenced by clang::threadSafety::ThreadSafetyAnalyzer::addLock(), clang::threadSafety::LockableFactEntry::handleRemovalFromIntersection(), clang::threadSafety::ScopedLockableFactEntry::handleUnlock(), clang::threadSafety::ThreadSafetyAnalyzer::intersectAndWarn(), and clang::threadSafety::ThreadSafetyAnalyzer::removeLock().
The documentation for this class was generated from the following file: