class Literal

Declaration

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

Description

Base class for AST nodes in the typed intermediate language.

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

Inherits from: SExpr

Member Variables

private const clang::threadSafety::til::ValueType ValType

private const clang::Expr* Cexpr = nullptr

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Literal(const clang::Expr * C)
• public Literal(clang::threadSafety::til::ValueType VT)
• public Literal(const clang::threadSafety::til::Literal &)
• public template <class T>const LiteralT<T> & as() const
• public template <class T>LiteralT<T> & as()
• public const clang::Expr * clangExpr() const
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Literal * E, C & Cmp) const
• public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)
• public clang::threadSafety::til::ValueType valueType() const

Inherited from SExpr:

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

Methods

¶Literal(const clang::Expr* C)

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

Parameters

const clang::Expr* C

¶Literal(clang::threadSafety::til::ValueType VT)

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

Parameters

clang::threadSafety::til::ValueType VT

¶Literal(const clang::threadSafety::til::Literal&)

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

Parameters

const clang::threadSafety::til::Literal&

¶template <class T>
const LiteralT<T>& as() const

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

Templates

T

¶template <class T>
LiteralT<T>& as()

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

Templates

T

¶const clang::Expr* clangExpr() const

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

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::Literal* E

C& Cmp

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx

¶clang::threadSafety::til::ValueType valueType()
    const

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