class Future
Declaration
class Future : public SExpr { /* full declaration omitted */ };
Description
Placeholder for an expression that has not yet been created. Used to implement lazy copy and rewriting strategies.
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:435
Inherits from: SExpr
Member Variables
- private clang::threadSafety::til::Future::FutureStatus Status = FS_pending
- private clang::threadSafety::til::SExpr* Result = nullptr
Inherited from SExpr:
- protected Opcode
- protected Reserved = 0
- protected Flags = 0
- protected SExprID = 0
- protected Block = nullptr
Method Overview
- public Future()
- public static bool classof(const clang::threadSafety::til::SExpr * E)
- public template <class C>typename C::CType compare(const clang::threadSafety::til::Future * E, C & Cmp) const
- public virtual clang::threadSafety::til::SExpr * compute()
- private clang::threadSafety::til::SExpr * force()
- public clang::threadSafety::til::SExpr * maybeGetResult() const
- public clang::threadSafety::til::SExpr * result()
- public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)
- public virtual ~Future()
Inherited from SExpr:
Methods
¶Future()
Future()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:443
¶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:446
Parameters
- const clang::threadSafety::til::SExpr* E
¶template <class C>
typename C::CType compare(
const clang::threadSafety::til::Future* E,
C& Cmp) const
template <class C>
typename C::CType compare(
const clang::threadSafety::til::Future* E,
C& Cmp) const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:473
Templates
- C
Parameters
- const clang::threadSafety::til::Future* E
- C& Cmp
¶virtual clang::threadSafety::til::SExpr* compute()
virtual clang::threadSafety::til::SExpr* compute()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:449
¶clang::threadSafety::til::SExpr* force()
clang::threadSafety::til::SExpr* force()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:480
¶clang::threadSafety::til::SExpr* maybeGetResult()
const
clang::threadSafety::til::SExpr* maybeGetResult()
const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:452
¶clang::threadSafety::til::SExpr* result()
clang::threadSafety::til::SExpr* result()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:455
¶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:467
Templates
- V
Parameters
- V& Vs
- typename V::R_Ctx Ctx
¶virtual ~Future()
virtual ~Future()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:444