reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
98 class FactManager;
136 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, 139 virtual void handleLock(FactSet &FSet, FactManager &FactMan, 142 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan, 196 bool isEmpty(FactManager &FactMan) const { 206 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { 212 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { 231 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { 237 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { 244 const FactEntry *findLockUniv(FactManager &FM, 252 const FactEntry *findPartialMatch(FactManager &FM, 260 bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const { 864 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, 873 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, 879 void handleUnlock(FactSet &FSet, FactManager &FactMan, 925 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, 942 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, 956 void handleUnlock(FactSet &FSet, FactManager &FactMan, 981 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, 994 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, 1019 FactManager FactMan;