class Traversal
Declaration
template <class Self, class R>
class Traversal { /* full declaration omitted */ };
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:58
Templates
- Self
- R
Method Overview
- public Self * self()
- public template <class T>typename R::R_SExpr traverse(T *& E, typename R::R_Ctx Ctx)
- public typename R::R_SExpr traverseByCase(clang::threadSafety::til::SExpr * E, typename R::R_Ctx Ctx)
- public typename R::R_SExpr traverseSExpr(clang::threadSafety::til::SExpr * E, typename R::R_Ctx Ctx)
Methods
¶Self* self()
Self* self()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:60
¶template <class T>
typename R::R_SExpr traverse(
T*& E,
typename R::R_Ctx Ctx)
template <class T>
typename R::R_SExpr traverse(
T*& E,
typename R::R_Ctx Ctx)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:68
Templates
- T
Parameters
- T*& E
- typename R::R_Ctx Ctx
¶typename R::R_SExpr traverseByCase(
clang::threadSafety::til::SExpr* E,
typename R::R_Ctx Ctx)
typename R::R_SExpr traverseByCase(
clang::threadSafety::til::SExpr* E,
typename R::R_Ctx Ctx)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:79
Parameters
- clang::threadSafety::til::SExpr* E
- typename R::R_Ctx Ctx
¶typename R::R_SExpr traverseSExpr(
clang::threadSafety::til::SExpr* E,
typename R::R_Ctx Ctx)
typename R::R_SExpr traverseSExpr(
clang::threadSafety::til::SExpr* E,
typename R::R_Ctx Ctx)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:74
Parameters
- clang::threadSafety::til::SExpr* E
- typename R::R_Ctx Ctx