clang  6.0.0svn
Public Types | Public Member Functions | Protected Member Functions | List of all members
clang::threadSafety::lexpr::LExpr Class Reference

#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"

Inheritance diagram for clang::threadSafety::lexpr::LExpr:
Inheritance graph
[legend]

Public Types

enum  Opcode { Terminal, And, Or, Not }
 

Public Member Functions

Opcode kind () const
 
bool implies (const LExpr *RHS) const
 Logical implication. More...
 

Protected Member Functions

 LExpr (Opcode Kind)
 

Detailed Description

Definition at line 22 of file ThreadSafetyLogical.h.

Member Enumeration Documentation

◆ Opcode

Enumerator
Terminal 
And 
Or 
Not 

Definition at line 24 of file ThreadSafetyLogical.h.

Constructor & Destructor Documentation

◆ LExpr()

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

Definition at line 37 of file ThreadSafetyLogical.h.

Member Function Documentation

◆ implies()

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

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.

Definition at line 99 of file ThreadSafetyLogical.h.

References clang::threadSafety::lexpr::implies().

Referenced by kind().

◆ kind()

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

Definition at line 30 of file ThreadSafetyLogical.h.

References implies().

Referenced by implies().


The documentation for this class was generated from the following file: