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()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:443

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

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()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:449

clang::threadSafety::til::SExpr* force()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:480

clang::threadSafety::til::SExpr* maybeGetResult()
    const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:452

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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:467

Templates

V

Parameters

V& Vs
typename V::R_Ctx Ctx

virtual ~Future()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:444