#include <ThreadSafetyTIL.h>
Public Member Functions | |
| Let (Variable *Vd, SExpr *Bd) | |
| Let (const Let &L, Variable *Vd, SExpr *Bd) | |
| Variable * | variableDecl () |
| const Variable * | variableDecl () const |
| SExpr * | body () |
| const SExpr * | body () const |
| template<class V > | |
| V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
| template<class C > | |
| C::CType | compare (const Let *E, C &Cmp) const |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Detailed Description
A let-expression, e.g. let x=t; u. This is a pseduo-term; it will be lowered to instructions in a CFG.
Definition at line 1863 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
| clang::threadSafety::til::Let::Let | ( | Variable * | Vd, |
| SExpr * | Bd | ||
| ) | [inline] |
Definition at line 1867 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_Let.
| clang::threadSafety::til::Let::Let | ( | const Let & | L, |
| Variable * | Vd, | ||
| SExpr * | Bd | ||
| ) | [inline] |
Definition at line 1870 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::Variable::setKind(), and clang::threadSafety::til::Variable::VK_Let.
Member Function Documentation
| SExpr* clang::threadSafety::til::Let::body | ( | ) | [inline] |
Definition at line 1877 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLet().
| const SExpr* clang::threadSafety::til::Let::body | ( | ) | const [inline] |
Definition at line 1878 of file ThreadSafetyTIL.h.
| static bool clang::threadSafety::til::Let::classof | ( | const SExpr * | E | ) | [inline, static] |
Definition at line 1865 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
| C::CType clang::threadSafety::til::Let::compare | ( | const Let * | E, |
| C & | Cmp | ||
| ) | const [inline] |
Definition at line 1892 of file ThreadSafetyTIL.h.
References body(), clang::threadSafety::til::Variable::definition(), and variableDecl().
| V::R_SExpr clang::threadSafety::til::Let::traverse | ( | V & | Vs, |
| typename V::R_Ctx | Ctx | ||
| ) | [inline] |
Definition at line 1881 of file ThreadSafetyTIL.h.
References clang::VarDecl::Definition, and clang::threadSafety::til::Variable::traverse().
| Variable* clang::threadSafety::til::Let::variableDecl | ( | ) | [inline] |
Definition at line 1874 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLet().
| const Variable* clang::threadSafety::til::Let::variableDecl | ( | ) | const [inline] |
Definition at line 1875 of file ThreadSafetyTIL.h.
The documentation for this class was generated from the following file: