class Apply

Declaration

class Apply : public SExpr { /* full declaration omitted */ };

Description

Apply an argument to a function. Note that this does not actually call the function. Functions are curried, so this returns a closure in which the first parameter has been applied. Once all parameters have been applied, Call can be used to invoke the function.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Fun

private clang::threadSafety::til::SExpr* Arg

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Apply(clang::threadSafety::til::SExpr * F, clang::threadSafety::til::SExpr * A)
• public Apply(const clang::threadSafety::til::Apply & A, clang::threadSafety::til::SExpr * F, clang::threadSafety::til::SExpr * Ar)
• public clang::threadSafety::til::SExpr * arg()
• public const clang::threadSafety::til::SExpr * arg() const
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Apply * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * fun()
• public const clang::threadSafety::til::SExpr * fun() const
• public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)

Inherited from SExpr:

• public block
• public id
• public opcode
• public setID

Methods

¶Apply(clang::threadSafety::til::SExpr* F,
      clang::threadSafety::til::SExpr* A)

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

Parameters

clang::threadSafety::til::SExpr* F

clang::threadSafety::til::SExpr* A

¶Apply(const clang::threadSafety::til::Apply& A,
      clang::threadSafety::til::SExpr* F,
      clang::threadSafety::til::SExpr* Ar)

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

Parameters

const clang::threadSafety::til::Apply& A

clang::threadSafety::til::SExpr* F

clang::threadSafety::til::SExpr* Ar

¶clang::threadSafety::til::SExpr* arg()

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

¶const clang::threadSafety::til::SExpr* arg() const

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

¶static bool classof(
    const clang::threadSafety::til::SExpr* E)

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

Parameters

const clang::threadSafety::til::SExpr* E

¶template <class C>
typename C::CType compare(
    const clang::threadSafety::til::Apply* E,
    C& Cmp) const

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

Templates

C

Parameters

const clang::threadSafety::til::Apply* E

C& Cmp

¶clang::threadSafety::til::SExpr* fun()

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

¶const clang::threadSafety::til::SExpr* fun() const

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

¶template <class V>
typename V::R_SExpr traverse(
    V& Vs,
    typename V::R_Ctx Ctx)

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx