ThreadSafetyCommon.h File Reference

#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Basic/OperatorKinds.h"
#include <memory>
#include <ostream>
#include <sstream>
#include <vector>

Include dependency graph for ThreadSafetyCommon.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	clang::threadSafety::CFGVisitor
class	clang::threadSafety::CFGWalker
class	clang::threadSafety::CapabilityExpr
class	clang::threadSafety::SExprBuilder
struct	clang::threadSafety::SExprBuilder::CallingContext
	Encapsulates the lexical context of a function call. The lexical context includes the arguments to the call, including the implicit object argument. When an attribute containing a mutex expression is attached to a method, the expression may refer to formal parameters of the method. Actual arguments must be substituted for formal parameters to derive the appropriate mutex expression in the lexical context where the function is called. PrevCtx holds the context in which the arguments themselves should be evaluated; multiple calling contexts can be chained together by the lock_returned attribute. More...
struct	clang::threadSafety::SExprBuilder::BlockInfo
Namespaces
namespace	clang
namespace	clang::threadSafety
namespace	clang::threadSafety::sx
Functions
bool	clang::threadSafety::sx::equals (const til::SExpr *E1, const til::SExpr *E2)
bool	clang::threadSafety::sx::matches (const til::SExpr *E1, const til::SExpr *E2)
bool	clang::threadSafety::sx::partiallyMatches (const til::SExpr *E1, const til::SExpr *E2)
std::string	clang::threadSafety::sx::toString (const til::SExpr *E)
void	clang::threadSafety::printSCFG (CFGWalker &Walker)