#include <ProgramPoint.h>
Inheritance diagram for clang::PostCondition:
Collaboration diagram for clang::PostCondition:
Public Member Functions | |
| PostCondition (const Stmt *S, const LocationContext *L, const ProgramPointTag *tag=nullptr) | |
Friends | |
| class | ProgramPoint |
Detailed Description
Definition at line 304 of file ProgramPoint.h.
Constructor & Destructor Documentation
| clang::PostCondition::PostCondition | ( | const Stmt * | S, |
| const LocationContext * | L, | ||
| const ProgramPointTag * | tag = nullptr |
||
| ) | [inline] |
Definition at line 306 of file ProgramPoint.h.
Friends And Related Function Documentation
friend class ProgramPoint [friend] |
Reimplemented from clang::PostStmt.
Definition at line 311 of file ProgramPoint.h.
The documentation for this class was generated from the following file: