class LExpr

Declaration

class LExpr { /* full declaration omitted */ };

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

Member Variables

private clang::threadSafety::lexpr::LExpr::Opcode Kind

Method Overview

• protected LExpr(clang::threadSafety::lexpr::LExpr::Opcode Kind)
• public inline bool implies(const clang::threadSafety::lexpr::LExpr * RHS) const
• public clang::threadSafety::lexpr::LExpr::Opcode kind() const

Methods

¶LExpr(clang::threadSafety::lexpr::LExpr::Opcode
          Kind)

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

Parameters

clang::threadSafety::lexpr::LExpr::Opcode Kind

¶inline bool implies(
    const clang::threadSafety::lexpr::LExpr* RHS)
    const

Description

Logical implication. Returns true if the LExpr implies RHS, i.e. if the LExpr holds, then RHS must hold. For example, (A & B) implies A.

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

Parameters

const clang::threadSafety::lexpr::LExpr* RHS

¶clang::threadSafety::lexpr::LExpr::Opcode kind()
    const

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