#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"
Inheritance diagram for clang::threadSafety::lexpr::And:
Public Member Functions | |
| And (LExpr *LHS, LExpr *RHS) | |
 Public Member Functions inherited from clang::threadSafety::lexpr::BinOp | |
| const LExpr * | left () const |
| LExpr * | left () |
| const LExpr * | right () const |
| LExpr * | right () |
| Public Member Functions inherited from clang::threadSafety::lexpr::LExpr | |
| Opcode | kind () const |
| bool | implies (const LExpr *RHS) const |
| Logical implication. | |
Static Public Member Functions | |
| static bool | classof (const LExpr *E) |
Additional Inherited Members | |
| Public Types inherited from clang::threadSafety::lexpr::LExpr | |
| enum | Opcode { Terminal , And , Or , Not } |
| Protected Member Functions inherited from clang::threadSafety::lexpr::BinOp | |
| BinOp (LExpr *LHS, LExpr *RHS, Opcode Code) | |
| Protected Member Functions inherited from clang::threadSafety::lexpr::LExpr | |
| LExpr (Opcode Kind) | |
Detailed Description
Definition at line 68 of file ThreadSafetyLogical.h.
Constructor & Destructor Documentation
◆ And()
Definition at line 70 of file ThreadSafetyLogical.h.
Member Function Documentation
◆ classof()
Definition at line 72 of file ThreadSafetyLogical.h.
References clang::threadSafety::lexpr::LExpr::And, and E.
The documentation for this class was generated from the following file:
- include/clang/Analysis/Analyses/ThreadSafetyLogical.h
