Visitor that tracks expressions and values. More...

Inheritance diagram for clang::ento::bugreporter::TrackingBugReporterVisitor:

Public Member Functions
	TrackingBugReporterVisitor (TrackerRef ParentTracker)

Tracker &	getParentTracker ()

Public Member Functions inherited from clang::ento::BugReporterVisitor
	BugReporterVisitor ()=default

	BugReporterVisitor (const BugReporterVisitor &)=default

	BugReporterVisitor (BugReporterVisitor &&)

BugReporterVisitor &	operator= (const BugReporterVisitor &)=delete

BugReporterVisitor &	operator= (BugReporterVisitor &&)=delete

virtual	~BugReporterVisitor ()

virtual PathDiagnosticPieceRef	VisitNode (const ExplodedNode *Succ, BugReporterContext &BRC, PathSensitiveBugReport &BR)=0
	Return a diagnostic piece which should be associated with the given node.

virtual void	finalizeVisitor (BugReporterContext &BRC, const ExplodedNode *EndPathNode, PathSensitiveBugReport &BR)
	Last function called on the visitor, no further calls to VisitNode would follow.

virtual PathDiagnosticPieceRef	getEndPath (BugReporterContext &BRC, const ExplodedNode *N, PathSensitiveBugReport &BR)
	Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded.

virtual void	Profile (llvm::FoldingSetNodeID &ID) const =0

Additional Inherited Members
Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static PathDiagnosticPieceRef	getDefaultEndPath (const BugReporterContext &BRC, const ExplodedNode *N, const PathSensitiveBugReport &BR)
	Generates the default final diagnostic piece.

Detailed Description

Visitor that tracks expressions and values.

Definition at line 348 of file BugReporterVisitors.h.

Constructor & Destructor Documentation

clang::ento::bugreporter::TrackingBugReporterVisitor::TrackingBugReporterVisitor ( TrackerRef ParentTracker )

inline

Definition at line 353 of file BugReporterVisitors.h.

Tracker & clang::ento::bugreporter::TrackingBugReporterVisitor::getParentTracker ( )

inline

Definition at line 356 of file BugReporterVisitors.h.

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