clang::ento::GraphExpander Class Reference

#include <CheckerManager.h>

List of all members.

Public Member Functions
virtual	~GraphExpander ()
virtual void	expandGraph (ExplodedNodeSet &Dst, ExplodedNode *Pred)=0

---

Detailed Description

Definition at line 47 of file CheckerManager.h.

---

Constructor & Destructor Documentation

GraphExpander::~GraphExpander

(

)

[virtual]

Definition at line 683 of file CheckerManager.cpp.

---

Member Function Documentation

virtual void clang::ento::GraphExpander::expandGraph	(	ExplodedNodeSet &	Dst,
		ExplodedNode *	Pred
	)		[pure virtual]

Referenced by clang::ento::CheckerManager::runCheckersForEvalCall().

---

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

• CheckerManager.h
• CheckerManager.cpp