Lines Matching defs:FSet
864 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
873 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
879 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
921 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
938 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
952 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
977 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
990 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1138 const FactSet& FSet, in checkBeforeAfter()
1297 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
1335 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1590 FactSet FSet; member in __anon7dc4c7680d11::BuildLockset