Inheritance diagram for NilReceiverHandler:

Collaboration diagram for NilReceiverHandler:

Public Member Functions
Tracker::Result	handle (const Expr Inner, const ExplodedNode InputNode, const ExplodedNode *LVNode, TrackingOptions Opts) override

Detailed Description

Definition at line 2131 of file BugReporterVisitors.cpp.

Member Function Documentation

Tracker::Result NilReceiverHandler::handle	(	const Expr *	Inner,
		const ExplodedNode *	InputNode,
		const ExplodedNode *	LVNode,
		TrackingOptions	Opts
	)

inlineoverride

Definition at line 2135 of file BugReporterVisitors.cpp.

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