class Code

Declaration

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

Description

A block of code -- e.g. the body of a function.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* ReturnType

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 Code(clang::threadSafety::til::SExpr * T, clang::threadSafety::til::SExpr * B)
• public Code(const clang::threadSafety::til::Code & C, clang::threadSafety::til::SExpr * T, 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::Code * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * returnType()
• public const clang::threadSafety::til::SExpr * returnType() 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

¶Code(clang::threadSafety::til::SExpr* T,
     clang::threadSafety::til::SExpr* B)

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

Parameters

clang::threadSafety::til::SExpr* T

clang::threadSafety::til::SExpr* B

¶Code(const clang::threadSafety::til::Code& C,
     clang::threadSafety::til::SExpr* T,
     clang::threadSafety::til::SExpr* B)

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

Parameters

const clang::threadSafety::til::Code& C

clang::threadSafety::til::SExpr* T

clang::threadSafety::til::SExpr* B

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

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

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

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

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::Code* E

C& Cmp

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

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

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

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx