#include <exceptions.h>
InsufficientSpaceDiskMgr is thrown by DiskManager if there is not enough space in file. 
◆ InsufficientSpaceDiskMgr()
  
  | 
        
          | InsufficientSpaceDiskMgr::InsufficientSpaceDiskMgr | ( | FileId | file_id | ) |  |  | explicit | 
 
Constructor. 
- Parameters
- 
  
    | file_id. | FileId of the file with insuffucient space. |  
 
 
 
◆ getFileId()
      
        
          | FileId InsufficientSpaceDiskMgr::getFileId | ( |  | ) | const | 
        
          | throw | ( |  | 
        
          |  | ) |  |  | 
      
 
Returns the FileId of the file with insufficient space. 
- Returns
- FileId of the file with insufficient space. 
 
 
◆ file_id
  
  | 
        
          | FileId InsufficientSpaceDiskMgr::file_id |  | private | 
 
 
The documentation for this class was generated from the following file: