| BufferManager(int poolSize) | BufferManager | |
| findFrame(int pageId, string fileName) | BufferManager | |
| flushAllPages() | BufferManager | |
| flushPage(int pageId, string fileName) | BufferManager | |
| freePage(int pageId, string fileName) | BufferManager | |
| getPoolSize() | BufferManager | |
| INVALID_PAGE | BufferManager | [static] |
| newPage(int numPages, string fileName, Page *&firstPage) | BufferManager | |
| pinPage(int pinPageId, string fileName, bool emptyPage) | BufferManager | |
| unpinPage(int unpinPageId, string fileName, bool dirty) | BufferManager | |
| ~BufferManager() | BufferManager |
1.4.7