class Field
Declaration
class Field : public SExpr { /* full declaration omitted */ };
Description
A typed, writable location in memory
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:800
Inherits from: SExpr
Member Variables
- private clang::threadSafety::til::SExpr* Range
- private clang::threadSafety::til::SExpr* Body
Inherited from SExpr:
- protected Opcode
- protected Reserved = 0
- protected Flags = 0
- protected SExprID = 0
- protected Block = nullptr
Method Overview
- public Field(clang::threadSafety::til::SExpr * R, clang::threadSafety::til::SExpr * B)
- public Field(const clang::threadSafety::til::Field & C, clang::threadSafety::til::SExpr * R, clang::threadSafety::til::SExpr * B)
- public clang::threadSafety::til::SExpr * body()
- public const clang::threadSafety::til::SExpr * body() const
- public static bool classof(const clang::threadSafety::til::SExpr * E)
- public template <class C>typename C::CType compare(const clang::threadSafety::til::Field * E, C & Cmp) const
- public clang::threadSafety::til::SExpr * range()
- public const clang::threadSafety::til::SExpr * range() const
- public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)
Inherited from SExpr:
Methods
¶Field(clang::threadSafety::til::SExpr* R,
clang::threadSafety::til::SExpr* B)
Field(clang::threadSafety::til::SExpr* R,
clang::threadSafety::til::SExpr* B)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:802
Parameters
¶Field(const clang::threadSafety::til::Field& C,
clang::threadSafety::til::SExpr* R,
clang::threadSafety::til::SExpr* B)
Field(const clang::threadSafety::til::Field& C,
clang::threadSafety::til::SExpr* R,
clang::threadSafety::til::SExpr* B)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:803
Parameters
- const clang::threadSafety::til::Field& C
- clang::threadSafety::til::SExpr* R
- clang::threadSafety::til::SExpr* B
¶clang::threadSafety::til::SExpr* body()
clang::threadSafety::til::SExpr* body()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:811
¶const clang::threadSafety::til::SExpr* body()
const
const clang::threadSafety::til::SExpr* body()
const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:812
¶static bool classof(
const clang::threadSafety::til::SExpr* E)
static bool classof(
const clang::threadSafety::til::SExpr* E)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:806
Parameters
- const clang::threadSafety::til::SExpr* E
¶template <class C>
typename C::CType compare(
const clang::threadSafety::til::Field* E,
C& Cmp) const
template <class C>
typename C::CType compare(
const clang::threadSafety::til::Field* E,
C& Cmp) const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:822
Templates
- C
Parameters
- const clang::threadSafety::til::Field* E
- C& Cmp
¶clang::threadSafety::til::SExpr* range()
clang::threadSafety::til::SExpr* range()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:808
¶const clang::threadSafety::til::SExpr* range()
const
const clang::threadSafety::til::SExpr* range()
const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:809
¶template <class V>
typename V::R_SExpr traverse(
V& Vs,
typename V::R_Ctx Ctx)
template <class V>
typename V::R_SExpr traverse(
V& Vs,
typename V::R_Ctx Ctx)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:815
Templates
- V
Parameters
- V& Vs
- typename V::R_Ctx Ctx