#include <ProgramPoint.h>
Inheritance diagram for clang::BlockEdge:
Collaboration diagram for clang::BlockEdge:
Public Member Functions | |
| BlockEdge (const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) | |
| const CFGBlock * | getSrc () const |
| const CFGBlock * | getDst () const |
Friends | |
| class | ProgramPoint |
Detailed Description
Definition at line 448 of file ProgramPoint.h.
Constructor & Destructor Documentation
| clang::BlockEdge::BlockEdge | ( | const CFGBlock * | B1, |
| const CFGBlock * | B2, | ||
| const LocationContext * | L | ||
| ) | [inline] |
Definition at line 450 of file ProgramPoint.h.
Member Function Documentation
| const CFGBlock* clang::BlockEdge::getDst | ( | ) | const [inline] |
Definition at line 460 of file ProgramPoint.h.
References clang::ProgramPoint::getData2().
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), isJumpToFalseBranch(), and clang::ento::ExprEngine::VisitLogicalExpr().
| const CFGBlock* clang::BlockEdge::getSrc | ( | ) | const [inline] |
Definition at line 456 of file ProgramPoint.h.
References clang::ProgramPoint::getData1().
Referenced by llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), isJumpToFalseBranch(), and clang::ento::ExprEngine::VisitLogicalExpr().
Friends And Related Function Documentation
friend class ProgramPoint [friend] |
Definition at line 465 of file ProgramPoint.h.
The documentation for this class was generated from the following file: