Lines Matching refs:CapE
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument
89 return CapE.equals(CapE2); in push_back_nodup()
91 push_back(CapE); in push_back_nodup()
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
220 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
226 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
233 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
235 return FM[ID].matches(CapE); in findLockIter()
239 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
241 return FM[ID].matches(CapE); in findLock()
247 const CapabilityExpr &CapE) const { in findLockUniv()
249 return FM[ID].matchesUniv(CapE); in findLockUniv()
255 const CapabilityExpr &CapE) const { in findPartialMatch()
257 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
1023 bool inCurrentScope(const CapabilityExpr &CapE);
1027 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1216 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope() argument
1217 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()