Represent a region's offset within the top level base region. More...
#include <MemRegion.h>
Collaboration diagram for clang::ento::RegionOffset:
Public Member Functions | |
| RegionOffset () | |
| RegionOffset (const MemRegion *r, int64_t off) | |
| const MemRegion * | getRegion () const |
| bool | hasSymbolicOffset () const |
| int64_t | getOffset () const |
| bool | isValid () const |
Static Public Attributes | |
| static const int64_t | Symbolic = INT64_MAX |
Detailed Description
Represent a region's offset within the top level base region.
Definition at line 45 of file MemRegion.h.
Constructor & Destructor Documentation
| clang::ento::RegionOffset::RegionOffset | ( | ) | [inline] |
Definition at line 57 of file MemRegion.h.
| clang::ento::RegionOffset::RegionOffset | ( | const MemRegion * | r, |
| int64_t | off | ||
| ) | [inline] |
Definition at line 58 of file MemRegion.h.
Member Function Documentation
| int64_t clang::ento::RegionOffset::getOffset | ( | ) | const [inline] |
Definition at line 64 of file MemRegion.h.
References hasSymbolicOffset().
| const MemRegion* clang::ento::RegionOffset::getRegion | ( | ) | const [inline] |
Definition at line 60 of file MemRegion.h.
| bool clang::ento::RegionOffset::hasSymbolicOffset | ( | ) | const [inline] |
| bool clang::ento::RegionOffset::isValid | ( | ) | const [inline] |
Definition at line 69 of file MemRegion.h.
Member Data Documentation
const int64_t clang::ento::RegionOffset::Symbolic = INT64_MAX [static] |
Definition at line 55 of file MemRegion.h.
Referenced by clang::ento::MemRegion::getAsOffset(), and hasSymbolicOffset().
The documentation for this class was generated from the following file: