class SApply

Declaration

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

Description

Apply a self-argument to a self-applicable function.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Sfun

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 SApply(clang::threadSafety::til::SExpr * Sf, clang::threadSafety::til::SExpr * A = nullptr)
• public SApply(clang::threadSafety::til::SApply & A, clang::threadSafety::til::SExpr * Sf, clang::threadSafety::til::SExpr * Ar = nullptr)
• 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::SApply * E, C & Cmp) const
• public bool isDelegation() const
• public clang::threadSafety::til::SExpr * sfun()
• public const clang::threadSafety::til::SExpr * sfun() 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

¶SApply(
    clang::threadSafety::til::SExpr* Sf,
    clang::threadSafety::til::SExpr* A = nullptr)

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

Parameters

clang::threadSafety::til::SExpr* Sf

clang::threadSafety::til::SExpr* A = nullptr

¶SApply(
    clang::threadSafety::til::SApply& A,
    clang::threadSafety::til::SExpr* Sf,
    clang::threadSafety::til::SExpr* Ar = nullptr)

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

Parameters

clang::threadSafety::til::SApply& A

clang::threadSafety::til::SExpr* Sf

clang::threadSafety::til::SExpr* Ar = nullptr

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

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

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

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

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::SApply* E

C& Cmp

¶bool isDelegation() const

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

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

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

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

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx