clang  3.9.0
Classes | Public Member Functions | List of all members
clang::threadSafety::BeforeSet Class Reference

Public Member Functions

 BeforeSet ()
 
BeforeInfo * insertAttrExprs (const ValueDecl *Vd, ThreadSafetyAnalyzer &Analyzer)
 Process acquired_before and acquired_after attributes on Vd. More...
 
BeforeInfo * getBeforeInfoForDecl (const ValueDecl *Vd, ThreadSafetyAnalyzer &Analyzer)
 
void checkBeforeAfter (const ValueDecl *Vd, const FactSet &FSet, ThreadSafetyAnalyzer &Analyzer, SourceLocation Loc, StringRef CapKind)
 Return true if any mutexes in FSet are in the acquired_before set of Vd. More...
 

Detailed Description

Definition at line 256 of file ThreadSafety.cpp.

Constructor & Destructor Documentation

clang::threadSafety::BeforeSet::BeforeSet ( )
inline

Definition at line 273 of file ThreadSafety.cpp.

Member Function Documentation

void BeforeSet::checkBeforeAfter ( const ValueDecl Vd,
const FactSet &  FSet,
ThreadSafetyAnalyzer &  Analyzer,
SourceLocation  Loc,
StringRef  CapKind 
)

Return true if any mutexes in FSet are in the acquired_before set of Vd.

Definition at line 1035 of file ThreadSafety.cpp.

References getBeforeInfoForDecl(), and clang::NamedDecl::getName().

BeforeSet::BeforeInfo * BeforeSet::getBeforeInfoForDecl ( const ValueDecl Vd,
ThreadSafetyAnalyzer &  Analyzer 
)

Definition at line 1022 of file ThreadSafety.cpp.

References insertAttrExprs().

Referenced by checkBeforeAfter(), and insertAttrExprs().

BeforeSet::BeforeInfo * BeforeSet::insertAttrExprs ( const ValueDecl Vd,
ThreadSafetyAnalyzer &  Analyzer 
)

Process acquired_before and acquired_after attributes on Vd.

Definition at line 967 of file ThreadSafety.cpp.

References getBeforeInfoForDecl(), and clang::threadSafety::CapabilityExpr::valueDecl().

Referenced by getBeforeInfoForDecl().


The documentation for this class was generated from the following file: