#include <BugReporterVisitor.h>
Inheritance diagram for clang::ento::TrackConstraintBRVisitor:
Collaboration diagram for clang::ento::TrackConstraintBRVisitor:
Public Member Functions | |
| TrackConstraintBRVisitor (DefinedSVal constraint, bool assumption) | |
| void | Profile (llvm::FoldingSetNodeID &ID) const |
| PathDiagnosticPiece * | VisitNode (const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, BugReport &BR) |
| Return a diagnostic piece which should be associated with the given node. | |
Detailed Description
Definition at line 132 of file BugReporterVisitor.h.
Constructor & Destructor Documentation
| clang::ento::TrackConstraintBRVisitor::TrackConstraintBRVisitor | ( | DefinedSVal | constraint, |
| bool | assumption | ||
| ) | [inline] |
Definition at line 140 of file BugReporterVisitor.h.
Member Function Documentation
| void clang::ento::TrackConstraintBRVisitor::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [virtual] |
Implements clang::ento::BugReporterVisitor.
| PathDiagnosticPiece* clang::ento::TrackConstraintBRVisitor::VisitNode | ( | const ExplodedNode * | N, |
| const ExplodedNode * | PrevN, | ||
| BugReporterContext & | BRC, | ||
| BugReport & | BR | ||
| ) | [virtual] |
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.
The documentation for this class was generated from the following file: