clang::CFGElement Class Reference

CFGElement - Represents a top-level expression in a basic block. More...

#include <CFG.h>

Inheritance diagram for clang::CFGElement:

Collaboration diagram for clang::CFGElement:

List of all members.

Public Types
enum	Kind {   Invalid, Statement, Initializer, AutomaticObjectDtor,   BaseDtor, MemberDtor, TemporaryDtor, DTOR_BEGIN = AutomaticObjectDtor,   DTOR_END = TemporaryDtor }
Public Member Functions
	CFGElement ()
Kind	getKind () const
bool	isValid () const
	operator bool () const
template<class ElemTy >
const ElemTy *	getAs () const
Static Public Member Functions
static bool	classof (const CFGElement *E)
Protected Member Functions
	CFGElement (Kind kind, const void *Ptr1, const void *Ptr2=0)
Protected Attributes
llvm::PointerIntPair< void *, 2 >	Data1
llvm::PointerIntPair< void *, 2 >	Data2

---

Detailed Description

CFGElement - Represents a top-level expression in a basic block.

Definition at line 47 of file CFG.h.

---

Member Enumeration Documentation

enum clang::CFGElement::Kind

Enumerator:

Invalid
Statement
Initializer
AutomaticObjectDtor
BaseDtor
MemberDtor
TemporaryDtor
DTOR_BEGIN
DTOR_END

Definition at line 49 of file CFG.h.

---

Constructor & Destructor Documentation

clang::CFGElement::CFGElement	(	Kind	kind,
		const void *	Ptr1,
		const void *	Ptr2 = 0
	)		[inline, protected]

Definition at line 68 of file CFG.h.

clang::CFGElement::CFGElement

(

)

[inline]

Definition at line 73 of file CFG.h.

---

Member Function Documentation

static bool clang::CFGElement::classof

(

const CFGElement *

E

)

[inline, static]

Reimplemented in clang::CFGTemporaryDtor, clang::CFGMemberDtor, clang::CFGBaseDtor, clang::CFGAutomaticObjDtor, clang::CFGImplicitDtor, clang::CFGInitializer, and clang::CFGStmt.

Definition at line 92 of file CFG.h.

template<class ElemTy >

const ElemTy* clang::CFGElement::getAs

(

)

const [inline]

Definition at line 86 of file CFG.h.

Referenced by Accumulate(), clang::LiveVariables::computeLiveness(), clang::ento::CoreEngine::enqueueStmtNode(), getLogicalOperatorInChain(), print_elem(), clang::ento::SubEngine::processCFGElement(), and clang::CFG::VisitBlockStmts().

Kind clang::CFGElement::getKind

(

)

const [inline]

Definition at line 75 of file CFG.h.

References Data1, and Data2.

Referenced by clang::CFGStmt::classof(), clang::CFGInitializer::classof(), clang::CFGImplicitDtor::classof(), clang::CFGAutomaticObjDtor::classof(), clang::CFGBaseDtor::classof(), clang::CFGMemberDtor::classof(), clang::CFGTemporaryDtor::classof(), clang::CFGImplicitDtor::getDestructorDecl(), isValid(), clang::ento::SubEngine::processCFGElement(), and clang::ento::ExprEngine::ProcessImplicitDtor().

bool clang::CFGElement::isValid

(

)

const [inline]

Definition at line 82 of file CFG.h.

References getKind(), and Invalid.

Referenced by operator bool().

clang::CFGElement::operator bool

(

)

const [inline]

Definition at line 84 of file CFG.h.

References isValid().

---

Member Data Documentation

llvm::PointerIntPair<void *, 2> clang::CFGElement::Data1 [protected]

Definition at line 65 of file CFG.h.

Referenced by clang::CFGBaseDtor::getBaseSpecifier(), clang::CFGTemporaryDtor::getBindTemporaryExpr(), clang::CFGMemberDtor::getFieldDecl(), clang::CFGInitializer::getInitializer(), getKind(), clang::CFGStmt::getStmt(), and clang::CFGAutomaticObjDtor::getVarDecl().

llvm::PointerIntPair<void *, 2> clang::CFGElement::Data2 [protected]

Definition at line 66 of file CFG.h.

Referenced by getKind(), and clang::CFGAutomaticObjDtor::getTriggerStmt().

---

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

• CFG.h