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()

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)

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)

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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:74

Parameters

clang::threadSafety::til::SExpr* E
typename R::R_Ctx Ctx