Lines Matching defs:CapE

87   void push_back_nodup(const CapabilityExpr &CapE) {
89           return CapE.equals(CapE2);
91       push_back(CapE);
219   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {
225       if (FM[FactIDs[i]].matches(CapE)) {
231     if (FM[FactIDs[n-1]].matches(CapE)) {
238   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {
240       return FM[ID].matches(CapE);
244   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {
246       return FM[ID].matches(CapE);
252                                 const CapabilityExpr &CapE) const {
254       return FM[ID].matchesUniv(CapE);
260                                     const CapabilityExpr &CapE) const {
262       return FM[ID].partiallyMatches(CapE);
1048   bool inCurrentScope(const CapabilityExpr &CapE);
1052   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1253 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {
1254   const threadSafety::til::SExpr *SExp = CapE.sexpr();