97 class FactEntry : public CapabilityExpr {  class
105   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()  function in __anon4f66b6dc0111::FactEntry
110   virtual ~FactEntry() {}  in ~FactEntry()
141   std::vector<std::unique_ptr<FactEntry>> Facts;
144   FactID newFact(std::unique_ptr<FactEntry> Entry) {  in newFact()
149   const FactEntry &operator[](FactID F) const { return *Facts[F]; }  in operator []()
150   FactEntry &operator[](FactID F) { return *Facts[F]; }  in operator []()
190   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
221   FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
228   FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const {  in findLockUniv()
235   FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
813 class LockableFactEntry : public FactEntry {
820       : FactEntry(CE, LK, Loc, Asrt), Managed(Mng) {}  in LockableFactEntry()
844 class ScopedLockableFactEntry : public FactEntry {
851       : FactEntry(CE, LK_Exclusive, Loc, false) {  in ScopedLockableFactEntry()
928   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1184                                    std::unique_ptr<FactEntry> Entry,  in addLock()
1192     FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1229   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1517     FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1538   FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1574   FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
2028     const FactEntry *LDat1 = nullptr;  in intersectAndWarn()
2029     const FactEntry *LDat2 = &FactMan[Fact];  in intersectAndWarn()
2054     const FactEntry *LDat1 = &FactMan[Fact];  in intersectAndWarn()
2055     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()