clang API Documentation

Public Member Functions
clang::threadSafety::ScopedLockableFactEntry Class Reference
Inheritance diagram for clang::threadSafety::ScopedLockableFactEntry:
Inheritance graph
[legend]
Collaboration diagram for clang::threadSafety::ScopedLockableFactEntry:
Collaboration graph
[legend]

List of all members.

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

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]
void clang::threadSafety::ScopedLockableFactEntry::handleUnlock ( FactSet FSet,
FactManager FactMan,
const CapabilityExpr Cp,
SourceLocation  UnlockLoc,
bool  FullyRemove,
ThreadSafetyHandler Handler,
StringRef  DiagKind 
) const [inline, override, virtual]

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