#include <MemRegion.h>
Public Member Functions | |
| const VarDecl * | getDecl () const |
| const StackFrameContext * | getStackFrame () const |
| QualType | getValueType () const |
| void | dumpToStream (raw_ostream &os) const |
| void | dumpPretty (raw_ostream &os) const |
| Print the region for use in diagnostics. | |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
Definition at line 806 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::VarRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 832 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::VarRegionKind.
| void clang::ento::VarRegion::dumpPretty | ( | raw_ostream & | os | ) | const [virtual] |
Print the region for use in diagnostics.
Reimplemented from clang::ento::MemRegion.
| void clang::ento::VarRegion::dumpToStream | ( | raw_ostream & | os | ) | const [virtual] |
Reimplemented from clang::ento::MemRegion.
| const VarDecl* clang::ento::VarRegion::getDecl | ( | ) | const [inline] |
Reimplemented from clang::ento::DeclRegion.
Definition at line 821 of file MemRegion.h.
References clang::ento::DeclRegion::D.
Referenced by getValueType().
| const StackFrameContext * VarRegion::getStackFrame | ( | ) | const |
Definition at line 173 of file MemRegion.cpp.
References clang::ento::MemRegion::getMemorySpace(), clang::ento::StackSpaceRegion::getStackFrame(), and NULL.
| QualType clang::ento::VarRegion::getValueType | ( | ) | const [inline, virtual] |
Implements clang::ento::TypedValueRegion.
Definition at line 825 of file MemRegion.h.
References getDecl(), and clang::ValueDecl::getType().
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemRegion.
Definition at line 807 of file MemRegion.h.
The documentation for this class was generated from the following files: