|
clang
5.0.0
|
#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>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. More... | |
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::threadSafety | |
| 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) |
1.8.6