#include <MemRegion.h>
Inheritance diagram for clang::ento::UnknownSpaceRegion:
Collaboration diagram for clang::ento::UnknownSpaceRegion:
Public Member Functions | |
| void | dumpToStream (raw_ostream &os) const override |
Static Public Member Functions | |
| static bool | classof (const MemRegion *R) |
Friends | |
| class | MemRegionManager |
Detailed Description
Definition at line 346 of file MemRegion.h.
Member Function Documentation
| static bool clang::ento::UnknownSpaceRegion::classof | ( | const MemRegion * | R | ) | [inline, static] |
Reimplemented from clang::ento::MemSpaceRegion.
Definition at line 355 of file MemRegion.h.
References clang::ento::MemRegion::getKind(), and clang::ento::MemRegion::UnknownSpaceRegionKind.
| void UnknownSpaceRegion::dumpToStream | ( | raw_ostream & | os | ) | const [override, virtual] |
Reimplemented from clang::ento::MemRegion.
Definition at line 556 of file MemRegion.cpp.
Friends And Related Function Documentation
friend class MemRegionManager [friend] |
Reimplemented from clang::ento::MemSpaceRegion.
Definition at line 348 of file MemRegion.h.
The documentation for this class was generated from the following files: