Lines Matching defs:FSet
865 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
874 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
880 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
922 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection()
939 void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry, in handleLock()
953 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock()
978 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
991 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1137 const FactSet& FSet, in checkBeforeAfter()
1296 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock()
1334 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1589 FactSet FSet; member in __anon68dfda3c0d11::BuildLockset