clang API Documentation
A typed, writable location in memory. More...
#include <ThreadSafetyTIL.h>
Public Member Functions | |
Field (SExpr *R, SExpr *B) | |
Field (const Field &C, SExpr *R, SExpr *B) | |
SExpr * | range () |
const SExpr * | range () 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 Field *E, C &Cmp) const |
Static Public Member Functions | |
static bool | classof (const SExpr *E) |
A typed, writable location in memory.
Definition at line 793 of file ThreadSafetyTIL.h.
clang::threadSafety::til::Field::Field | ( | SExpr * | R, |
SExpr * | B | ||
) | [inline] |
Definition at line 797 of file ThreadSafetyTIL.h.
clang::threadSafety::til::Field::Field | ( | const Field & | C, |
SExpr * | R, | ||
SExpr * | B | ||
) | [inline] |
Definition at line 798 of file ThreadSafetyTIL.h.
SExpr* clang::threadSafety::til::Field::body | ( | ) | [inline] |
Definition at line 804 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printField().
const SExpr* clang::threadSafety::til::Field::body | ( | ) | const [inline] |
Definition at line 805 of file ThreadSafetyTIL.h.
static bool clang::threadSafety::til::Field::classof | ( | const SExpr * | E | ) | [inline, static] |
Definition at line 795 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
C::CType clang::threadSafety::til::Field::compare | ( | const Field * | E, |
C & | Cmp | ||
) | const [inline] |
Definition at line 815 of file ThreadSafetyTIL.h.
SExpr* clang::threadSafety::til::Field::range | ( | ) | [inline] |
Definition at line 801 of file ThreadSafetyTIL.h.
Referenced by compare(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printField().
const SExpr* clang::threadSafety::til::Field::range | ( | ) | const [inline] |
Definition at line 802 of file ThreadSafetyTIL.h.
V::R_SExpr clang::threadSafety::til::Field::traverse | ( | V & | Vs, |
typename V::R_Ctx | Ctx | ||
) | [inline] |
Definition at line 808 of file ThreadSafetyTIL.h.