Public Member Functions | |
| ScopedLockableFactEntry (const CapabilityExpr &CE, SourceLocation Loc, const CapExprSet &Excl, const CapExprSet &Shrd) | |
| 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 792 of file ThreadSafety.cpp.
Constructor & Destructor Documentation
| clang::threadSafety::ScopedLockableFactEntry::ScopedLockableFactEntry | ( | const CapabilityExpr & | CE, |
| SourceLocation | Loc, | ||
| const CapExprSet & | Excl, | ||
| const CapExprSet & | Shrd | ||
| ) | [inline] |
Definition at line 797 of file ThreadSafety.cpp.
Member Function Documentation
| void clang::threadSafety::ScopedLockableFactEntry::handleRemovalFromIntersection | ( | const FactSet & | FSet, |
| FactManager & | FactMan, | ||
| SourceLocation | JoinLoc, | ||
| LockErrorKind | LEK, | ||
| ThreadSafetyHandler & | Handler | ||
| ) | const [inline, override, virtual] |
Implements clang::threadSafety::FactEntry.
Definition at line 807 of file ThreadSafety.cpp.
References clang::threadSafety::FactSet::findLock(), clang::threadSafety::ThreadSafetyHandler::handleMutexHeldEndOfScope(), clang::threadSafety::FactEntry::loc(), and clang::threadSafety::sx::toString().
| void clang::threadSafety::ScopedLockableFactEntry::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 820 of file ThreadSafety.cpp.
References clang::threadSafety::FactSet::addLock(), clang::threadSafety::FactSet::findLock(), clang::threadSafety::ThreadSafetyHandler::handleUnmatchedUnlock(), clang::threadSafety::LK_Exclusive, clang::threadSafety::CapabilityExpr::negative(), clang::threadSafety::FactSet::removeLock(), and clang::threadSafety::CapabilityExpr::toString().
The documentation for this class was generated from the following file: