ThreadSafetyCommon.h | 40 // Various helper functions on til::SExpr 43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { 47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { 59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { 69 inline std::string toString(const til::SExpr *E) { 259 const til::SExpr* CapExpr; ///< The capability expression. 263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) { 265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr [all...] |