clang::threadSafety::lexpr::Not Class Reference

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

Inheritance diagram for clang::threadSafety::lexpr::Not:

Public Member Functions
	Not (LExpr *Exp)
const LExpr *	exp () const
LExpr *	exp ()
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::LExpr
	LExpr (Opcode Kind)

Detailed Description

Definition at line 82 of file ThreadSafetyLogical.h.

Constructor & Destructor Documentation

Not()

clang::threadSafety::lexpr::Not::Not ( LExpr * Exp )

inline

Definition at line 86 of file ThreadSafetyLogical.h.

References clang::threadSafety::lexpr::LExpr::LExpr(), and Not().

Referenced by Not().

Member Function Documentation

classof()

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

inlinestatic

Definition at line 91 of file ThreadSafetyLogical.h.

References clang::threadSafety::lexpr::LExpr::kind(), clang::threadSafety::lexpr::LExpr::LExpr(), and clang::threadSafety::lexpr::LExpr::Not.

exp() [1/2]

LExpr * clang::threadSafety::lexpr::Not::exp ( )

inline

Definition at line 89 of file ThreadSafetyLogical.h.

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

exp() [2/2]

const LExpr * clang::threadSafety::lexpr::Not::exp ( ) const

inline

Definition at line 88 of file ThreadSafetyLogical.h.

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

---

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

• include/clang/Analysis/Analyses/ThreadSafetyLogical.h