clang  3.9.0
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::TrackConstraintBRVisitor Class Referencefinal

#include <BugReporterVisitor.h>

Inheritance diagram for clang::ento::TrackConstraintBRVisitor:
[legend]
Collaboration diagram for clang::ento::TrackConstraintBRVisitor:
[legend]

Public Member Functions

 TrackConstraintBRVisitor (DefinedSVal constraint, bool assumption)
 
void Profile (llvm::FoldingSetNodeID &ID) const override
 
PathDiagnosticPieceVisitNode (const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, BugReport &BR) override
 Return a diagnostic piece which should be associated with the given node. More...
 
- Public Member Functions inherited from clang::ento::BugReporterVisitor
 BugReporterVisitor ()=default
 
 BugReporterVisitor (const BugReporterVisitor &)=default
 
 BugReporterVisitor (BugReporterVisitor &&)
 
virtual ~BugReporterVisitor ()
 
virtual std::unique_ptr
< PathDiagnosticPiece
getEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR)
 Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded. More...
 

Static Public Member Functions

static const char * getTag ()
 Return the tag associated with this visitor. More...
 
- Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static std::unique_ptr
< PathDiagnosticPiece
getDefaultEndPath (BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

Definition at line 130 of file BugReporterVisitor.h.

Constructor & Destructor Documentation

clang::ento::TrackConstraintBRVisitor::TrackConstraintBRVisitor ( DefinedSVal  constraint,
bool  assumption 
)
inline

Definition at line 142 of file BugReporterVisitor.h.

Member Function Documentation

const char * TrackConstraintBRVisitor::getTag ( )
static

Return the tag associated with this visitor.

This tag will be used to make all PathDiagnosticPieces created by this visitor.

Definition at line 720 of file BugReporterVisitors.cpp.

Referenced by eventsDescribeSameCondition(), and VisitNode().

void TrackConstraintBRVisitor::Profile ( llvm::FoldingSetNodeID &  ID) const
overridevirtual

Implements clang::ento::BugReporterVisitor.

Definition at line 711 of file BugReporterVisitors.cpp.

PathDiagnosticPiece * TrackConstraintBRVisitor::VisitNode ( const ExplodedNode Succ,
const ExplodedNode Pred,
BugReporterContext BRC,
BugReport BR 
)
overridevirtual

Return a diagnostic piece which should be associated with the given node.

The last parameter can be used to register a new visitor with the given BugReport while processing a node.

Implements clang::ento::BugReporterVisitor.

Definition at line 731 of file BugReporterVisitors.cpp.

References clang::ento::PathDiagnosticLocation::create(), clang::ento::SVal::getAs(), clang::ento::ExplodedNode::getLocation(), clang::ento::BugReporterContext::getSourceManager(), getTag(), clang::ento::PathDiagnosticLocation::isValid(), P, clang::ento::PathDiagnosticPiece::setTag(), and X.


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