85 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
88   void push_back_nodup(const CapabilityExpr &CapE) {  in push_back_nodup()
90                                [=](const CapabilityExpr &CapE2) {  in push_back_nodup()
107 class FactEntry : public CapabilityExpr {
128   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()
130       : CapabilityExpr(CE), LKind(LK), Source(Src), AcquireLoc(Loc) {}  in FactEntry()
148                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
217   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
236   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
242   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
250                                 const CapabilityExpr &CapE) const {  in findLockUniv()
258                                     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 addLock(const CapabilityExpr &M) {  in addLock()
913   void addExclusiveUnlock(const CapabilityExpr &M) {  in addExclusiveUnlock()
917   void addSharedUnlock(const CapabilityExpr &M) {  in addSharedUnlock()
927           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
943       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleLock()
954                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
959       CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false);  in handleUnlock()
978   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()
991   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()
1269 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {  in inCurrentScope()
1306     CapabilityExpr NegC = !*Entry;  in addLock()
1336 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1371     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()
1383     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()
1636   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1694   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1966     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()