A typed, writable location in memory.
More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
A typed, writable location in memory.
Definition at line 799 of file ThreadSafetyTIL.h.
◆ Field() [1/2]
clang::threadSafety::til::Field::Field |
( |
SExpr * |
R, |
|
|
SExpr * |
B |
|
) |
| |
|
inline |
◆ Field() [2/2]
clang::threadSafety::til::Field::Field |
( |
const Field & |
C, |
|
|
SExpr * |
R, |
|
|
SExpr * |
B |
|
) |
| |
|
inline |
◆ body() [1/2]
SExpr* clang::threadSafety::til::Field::body |
( |
| ) |
|
|
inline |
◆ body() [2/2]
const SExpr* clang::threadSafety::til::Field::body |
( |
| ) |
const |
|
inline |
◆ classof()
static bool clang::threadSafety::til::Field::classof |
( |
const SExpr * |
E | ) |
|
|
inlinestatic |
◆ compare()
template<class C >
C::CType clang::threadSafety::til::Field::compare |
( |
const Field * |
E, |
|
|
C & |
Cmp |
|
) |
| const |
|
inline |
◆ range() [1/2]
SExpr* clang::threadSafety::til::Field::range |
( |
| ) |
|
|
inline |
◆ range() [2/2]
const SExpr* clang::threadSafety::til::Field::range |
( |
| ) |
const |
|
inline |
◆ traverse()
template<class V >
V::R_SExpr clang::threadSafety::til::Field::traverse |
( |
V & |
Vs, |
|
|
typename V::R_Ctx |
Ctx |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file: