107 class FactEntry : public CapabilityExpr {  class
122   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()  function in __anoncb47465a0111::FactEntry
126   virtual ~FactEntry() = default;
140                           const FactEntry &entry, ThreadSafetyHandler &Handler,
159   std::vector<std::unique_ptr<const FactEntry>> Facts;
162   FactID newFact(std::unique_ptr<FactEntry> Entry) {  in newFact()
167   const FactEntry &operator[](FactID F) const { return *Facts[F]; }  in operator []()
206   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
237   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
244   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()
252   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
861       : FactEntry(CE, LK, Loc, Asrt), Managed(Mng) {}  in LockableFactEntry()
873   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
891 class ScopedLockableFactEntry : public FactEntry {
906       : FactEntry(CE, LK_Exclusive, Loc, false) {}  in ScopedLockableFactEntry()
942   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
984     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
1030   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1285                                    std::unique_ptr<FactEntry> Entry,  in addLock()
1293     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1312   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1329   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1629     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1650   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1686   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
2198     const FactEntry *LDat1 = nullptr;  in intersectAndWarn()
2199     const FactEntry *LDat2 = &FactMan[Fact];  in intersectAndWarn()
2224     const FactEntry *LDat1 = &FactMan[Fact];  in intersectAndWarn()
2225     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()