Public Member Functions | |
| LockableFactEntry (const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, bool Mng=false, bool Asrt=false) | |
| void | handleRemovalFromIntersection (const FactSet &FSet, FactManager &FactMan, SourceLocation JoinLoc, LockErrorKind LEK, ThreadSafetyHandler &Handler) const override |
| void | handleUnlock (FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, SourceLocation UnlockLoc, bool FullyRemove, ThreadSafetyHandler &Handler, StringRef DiagKind) const override |
Detailed Description
Definition at line 761 of file ThreadSafety.cpp.
Constructor & Destructor Documentation
| clang::threadSafety::LockableFactEntry::LockableFactEntry | ( | const CapabilityExpr & | CE, |
| LockKind | LK, | ||
| SourceLocation | Loc, | ||
| bool | Mng = false, |
||
| bool | Asrt = false |
||
| ) | [inline] |
Definition at line 766 of file ThreadSafety.cpp.
Member Function Documentation
| void clang::threadSafety::LockableFactEntry::handleRemovalFromIntersection | ( | const FactSet & | FSet, |
| FactManager & | FactMan, | ||
| SourceLocation | JoinLoc, | ||
| LockErrorKind | LEK, | ||
| ThreadSafetyHandler & | Handler | ||
| ) | const [inline, override, virtual] |
Implements clang::threadSafety::FactEntry.
Definition at line 771 of file ThreadSafety.cpp.
References clang::threadSafety::FactEntry::asserted(), clang::threadSafety::ThreadSafetyHandler::handleMutexHeldEndOfScope(), clang::threadSafety::CapabilityExpr::isUniversal(), clang::threadSafety::FactEntry::loc(), clang::threadSafety::CapabilityExpr::negative(), and clang::threadSafety::CapabilityExpr::toString().
| void clang::threadSafety::LockableFactEntry::handleUnlock | ( | FactSet & | FSet, |
| FactManager & | FactMan, | ||
| const CapabilityExpr & | Cp, | ||
| SourceLocation | UnlockLoc, | ||
| bool | FullyRemove, | ||
| ThreadSafetyHandler & | Handler, | ||
| StringRef | DiagKind | ||
| ) | const [inline, override, virtual] |
Implements clang::threadSafety::FactEntry.
Definition at line 780 of file ThreadSafety.cpp.
References clang::threadSafety::FactSet::addLock(), clang::threadSafety::LK_Exclusive, clang::threadSafety::CapabilityExpr::negative(), and clang::threadSafety::FactSet::removeLock().
The documentation for this class was generated from the following file: