86 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
89   void push_back_nodup(const CapabilityExpr &CapE) {  in push_back_nodup()
91                                [=](const CapabilityExpr &CapE2) {  in push_back_nodup()
108 class FactEntry : public CapabilityExpr {
123   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()
125       : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt),  in FactEntry()
144                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
213   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
232   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
238   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
246                                 const CapabilityExpr &CapE) const {  in findLockUniv()
254                                     const CapabilityExpr &CapE) const {  in findPartialMatch()
860   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()
881                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
906   ScopedLockableFactEntry(const CapabilityExpr &CE, SourceLocation Loc)  in ScopedLockableFactEntry()
909   void addExclusiveLock(const CapabilityExpr &M) {  in addExclusiveLock()
913   void addSharedLock(const CapabilityExpr &M) {  in addSharedLock()
917   void addExclusiveUnlock(const CapabilityExpr &M) {  in addExclusiveUnlock()
921   void addSharedUnlock(const CapabilityExpr &M) {  in addSharedUnlock()
931           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
947       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleLock()
958                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
963       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleUnlock()
982   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
994   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()
1028   bool inCurrentScope(const CapabilityExpr &CapE);
1032   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1090           CapabilityExpr Cp =  in insertAttrExprs()
1106           CapabilityExpr Cp =  in insertAttrExprs()
1271 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {  in inCurrentScope()
1292     CapabilityExpr NegC = !*Entry;  in addLock()
1322 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1354     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()
1366     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()
1619   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1678   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1945     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()