Searched refs:ExpireFact (Results 1 – 1 of 1) sorted by relevance
265 class ExpireFact : public Fact { class271 ExpireFact(LoanID LID) : Fact(Kind::Expire), LID(LID) {} in ExpireFact() function in clang::__anon2e25c8880111::ExpireFact489 CurrentBlockFacts.push_back(FactMgr.createFact<ExpireFact>(L.ID)); in handleDestructor()