#include <PageManager.hpp>
◆ PageManager()
PageManager::PageManager |
( |
| ) |
|
◆ ~PageManager()
PageManager::~PageManager |
( |
| ) |
|
◆ erasePage()
void PageManager::erasePage |
( |
Editor * | editor, |
|
|
size_t | dataset, |
|
|
size_t | index ) |
◆ readPage()
std::shared_ptr< PageData > PageManager::readPage |
( |
Editor * | editor, |
|
|
size_t | dataset, |
|
|
size_t | index ) |
◆ cache_
std::map<Key, std::shared_ptr<PageData> > PageManager::cache_ |
|
private |
The documentation for this class was generated from the following files:
- PageManager.hpp
- PageManager.cpp