#include <exceptions.h>
InvalidPageNumDiskMgr is thrown by DiskManager if PageNum is invalid. 
◆ InvalidPageNumDiskMgr()
  
  | 
        
          | InvalidPageNumDiskMgr::InvalidPageNumDiskMgr | ( | PageNum | page_num | ) |  |  | explicit | 
 
Constructor. 
- Parameters
- 
  
    | page_num. | Invalid PageNum. |  
 
 
 
◆ getPageNum()
      
        
          | PageNum InvalidPageNumDiskMgr::getPageNum | ( |  | ) | const | 
        
          | throw | ( |  | 
        
          |  | ) |  |  | 
      
 
Returns the invalid PageNum. 
- Returns
- Invalid PageNum. 
 
 
◆ page_num
  
  | 
        
          | PageNum InvalidPageNumDiskMgr::page_num |  | private | 
 
 
The documentation for this class was generated from the following file: