Represents a program point after a store evaluation. More...
#include <ProgramPoint.h>
Inheritance diagram for clang::PostStore:
Collaboration diagram for clang::PostStore:
Public Member Functions | |
| PostStore (const Stmt *S, const LocationContext *L, const void *Loc, const ProgramPointTag *tag=nullptr) | |
| const void * | getLocationValue () const |
| Returns the information about the location used in the store, how it was uttered in the code. | |
Friends | |
| class | ProgramPoint |
Detailed Description
Represents a program point after a store evaluation.
Definition at line 376 of file ProgramPoint.h.
Constructor & Destructor Documentation
| clang::PostStore::PostStore | ( | const Stmt * | S, |
| const LocationContext * | L, | ||
| const void * | Loc, | ||
| const ProgramPointTag * | tag = nullptr |
||
| ) | [inline] |
Construct the post store point.
- Parameters:
-
Loc can be used to store the information about the location used in the form it was uttered in the code.
Definition at line 381 of file ProgramPoint.h.
References clang::ProgramPoint::getData2(), and clang::ProgramPoint::setData2().
Member Function Documentation
| const void* clang::PostStore::getLocationValue | ( | ) | const [inline] |
Returns the information about the location used in the store, how it was uttered in the code.
Definition at line 390 of file ProgramPoint.h.
References clang::ProgramPoint::getData2().
Friends And Related Function Documentation
friend class ProgramPoint [friend] |
Reimplemented from clang::PostStmt.
Definition at line 395 of file ProgramPoint.h.
The documentation for this class was generated from the following file: