clang  3.9.0
Public Member Functions | Static Public Attributes | List of all members
clang::ento::RegionOffset Class Reference

Represent a region's offset within the top level base region. More...

#include <MemRegion.h>

Collaboration diagram for clang::ento::RegionOffset:
[legend]

Public Member Functions

 RegionOffset ()
 
 RegionOffset (const MemRegion *r, int64_t off)
 
const MemRegiongetRegion () 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 47 of file MemRegion.h.

Constructor & Destructor Documentation

clang::ento::RegionOffset::RegionOffset ( )
inline

Definition at line 59 of file MemRegion.h.

clang::ento::RegionOffset::RegionOffset ( const MemRegion r,
int64_t  off 
)
inline

Definition at line 60 of file MemRegion.h.

Member Function Documentation

int64_t clang::ento::RegionOffset::getOffset ( ) const
inline

Definition at line 66 of file MemRegion.h.

References hasSymbolicOffset().

const MemRegion* clang::ento::RegionOffset::getRegion ( ) const
inline

Definition at line 62 of file MemRegion.h.

bool clang::ento::RegionOffset::hasSymbolicOffset ( ) const
inline

Definition at line 64 of file MemRegion.h.

References Symbolic.

Referenced by getOffset().

bool clang::ento::RegionOffset::isValid ( ) const
inline

Definition at line 71 of file MemRegion.h.

Member Data Documentation

const int64_t clang::ento::RegionOffset::Symbolic = INT64_MAX
static

Definition at line 57 of file MemRegion.h.

Referenced by clang::ento::MemRegion::getAsOffset(), and hasSymbolicOffset().


The documentation for this class was generated from the following file: