#include <ThreadSafetyTIL.h>
Public Member Functions | |
| IfThenElse (SExpr *C, SExpr *T, SExpr *E) | |
| IfThenElse (const IfThenElse &I, SExpr *C, SExpr *T, SExpr *E) | |
| SExpr * | condition () |
| const SExpr * | condition () const |
| SExpr * | thenExpr () |
| const SExpr * | thenExpr () const |
| SExpr * | elseExpr () |
| const SExpr * | elseExpr () const |
| template<class V > | |
| V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
| template<class C > | |
| C::CType | compare (const IfThenElse *E, C &Cmp) const |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Detailed Description
An if-then-else expression. This is a pseduo-term; it will be lowered to a branch in a CFG.
Definition at line 1815 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
| clang::threadSafety::til::IfThenElse::IfThenElse | ( | SExpr * | C, |
| SExpr * | T, | ||
| SExpr * | E | ||
| ) | [inline] |
Definition at line 1819 of file ThreadSafetyTIL.h.
| clang::threadSafety::til::IfThenElse::IfThenElse | ( | const IfThenElse & | I, |
| SExpr * | C, | ||
| SExpr * | T, | ||
| SExpr * | E | ||
| ) | [inline] |
Definition at line 1822 of file ThreadSafetyTIL.h.
Member Function Documentation
| static bool clang::threadSafety::til::IfThenElse::classof | ( | const SExpr * | E | ) | [inline, static] |
Definition at line 1817 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
| C::CType clang::threadSafety::til::IfThenElse::compare | ( | const IfThenElse * | E, |
| C & | Cmp | ||
| ) | const [inline] |
Definition at line 1844 of file ThreadSafetyTIL.h.
References condition(), elseExpr(), and thenExpr().
| SExpr* clang::threadSafety::til::IfThenElse::condition | ( | ) | [inline] |
Definition at line 1826 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse().
| const SExpr* clang::threadSafety::til::IfThenElse::condition | ( | ) | const [inline] |
Definition at line 1827 of file ThreadSafetyTIL.h.
| SExpr* clang::threadSafety::til::IfThenElse::elseExpr | ( | ) | [inline] |
Definition at line 1832 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse().
| const SExpr* clang::threadSafety::til::IfThenElse::elseExpr | ( | ) | const [inline] |
Definition at line 1833 of file ThreadSafetyTIL.h.
| SExpr* clang::threadSafety::til::IfThenElse::thenExpr | ( | ) | [inline] |
Definition at line 1829 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse().
| const SExpr* clang::threadSafety::til::IfThenElse::thenExpr | ( | ) | const [inline] |
Definition at line 1830 of file ThreadSafetyTIL.h.
| V::R_SExpr clang::threadSafety::til::IfThenElse::traverse | ( | V & | Vs, |
| typename V::R_Ctx | Ctx | ||
| ) | [inline] |
Definition at line 1836 of file ThreadSafetyTIL.h.
The documentation for this class was generated from the following file: