clang API Documentation
asserted() const | clang::threadSafety::FactEntry | [inline] |
CapabilityExpr(const til::SExpr *E, bool Neg) | clang::threadSafety::CapabilityExpr | [inline] |
equals(const CapabilityExpr &other) const | clang::threadSafety::CapabilityExpr | [inline] |
FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, bool Asrt) | clang::threadSafety::FactEntry | [inline] |
handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, SourceLocation JoinLoc, LockErrorKind LEK, ThreadSafetyHandler &Handler) const override | clang::threadSafety::LockableFactEntry | [inline, virtual] |
handleUnlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, SourceLocation UnlockLoc, bool FullyRemove, ThreadSafetyHandler &Handler, StringRef DiagKind) const override | clang::threadSafety::LockableFactEntry | [inline, virtual] |
isAtLeast(LockKind LK) | clang::threadSafety::FactEntry | [inline] |
isInvalid() const | clang::threadSafety::CapabilityExpr | [inline] |
isUniversal() const | clang::threadSafety::CapabilityExpr | [inline] |
kind() const | clang::threadSafety::FactEntry | [inline] |
loc() const | clang::threadSafety::FactEntry | [inline] |
LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, bool Mng=false, bool Asrt=false) | clang::threadSafety::LockableFactEntry | [inline] |
matches(const CapabilityExpr &other) const | clang::threadSafety::CapabilityExpr | [inline] |
matchesUniv(const CapabilityExpr &CapE) const | clang::threadSafety::CapabilityExpr | [inline] |
negative() const | clang::threadSafety::CapabilityExpr | [inline] |
operator!() const | clang::threadSafety::CapabilityExpr | [inline] |
partiallyMatches(const CapabilityExpr &other) const | clang::threadSafety::CapabilityExpr | [inline] |
sexpr() const | clang::threadSafety::CapabilityExpr | [inline] |
shouldIgnore() const | clang::threadSafety::CapabilityExpr | [inline] |
toString() const | clang::threadSafety::CapabilityExpr | [inline] |
~FactEntry() | clang::threadSafety::FactEntry | [inline, virtual] |