class Terminal

Declaration

class Terminal : public LExpr { /* full declaration omitted */ };

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:42

Inherits from: LExpr

Member Variables

private til::SExpr* Expr

Method Overview

• public Terminal(til::SExpr * Expr)
• public static bool classof(const clang::threadSafety::lexpr::LExpr * E)
• public const til::SExpr * expr() const
• public til::SExpr * expr()

Inherited from LExpr:

• public implies
• public kind

Methods

¶Terminal(til::SExpr* Expr)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:46

Parameters

til::SExpr* Expr

¶static bool classof(
    const clang::threadSafety::lexpr::LExpr* E)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:51

Parameters

const clang::threadSafety::lexpr::LExpr* E

¶const til::SExpr* expr() const

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:48

¶til::SExpr* expr()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:49