Lines Matching refs:CapE
88 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument
91 return CapE.equals(CapE2); in push_back_nodup()
94 push_back(CapE); in push_back_nodup()
217 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
223 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
229 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
236 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
238 return FM[ID].matches(CapE); in findLockIter()
242 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
244 return FM[ID].matches(CapE); in findLock()
250 const CapabilityExpr &CapE) const { in findLockUniv()
252 return FM[ID].matchesUniv(CapE); in findLockUniv()
258 const CapabilityExpr &CapE) const { in findPartialMatch()
260 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
1028 bool inCurrentScope(const CapabilityExpr &CapE);
1032 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1267 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope() argument
1268 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()