clang API Documentation

Public Member Functions
clang::ento::BugReport::NodeResolver Class Reference

#include <BugReporter.h>

List of all members.

Public Member Functions

virtual ~NodeResolver ()
virtual const ExplodedNodegetOriginalNode (const ExplodedNode *N)=0

Detailed Description

Definition at line 57 of file BugReporter.h.


Constructor & Destructor Documentation

Definition at line 60 of file BugReporter.h.


Member Function Documentation


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