Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
107 class FactEntry : public CapabilityExpr { class128 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry() function in __anon68dfda3c0111::FactEntry131 virtual ~FactEntry() = default;145 const FactEntry &entry, ThreadSafetyHandler &Handler,164 std::vector<std::unique_ptr<const FactEntry>> Facts;167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()172 const FactEntry &operator[](FactID F) const { return *Facts[F]; } in operator []()211 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock()242 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()[all …]