Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
97 class FactEntry : public CapabilityExpr { class105 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry() function in __anon4f66b6dc0111::FactEntry110 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()[all …]