#include <exceptions.h>
FileIdAlreadyExistDiskMgr is thrown by DiskManager if the file identified by FileId already exists. 
◆ FileIdAlreadyExistDiskMgr()
  
  | 
        
          | FileIdAlreadyExistDiskMgr::FileIdAlreadyExistDiskMgr | ( | FileId | file_id | ) |  |  | explicit | 
 
Constructor. 
- Parameters
- 
  
    | file_id. | FileId of the file that already exists. |  
 
 
 
◆ getFileId()
      
        
          | FileId FileIdAlreadyExistDiskMgr::getFileId | ( |  | ) | const | 
        
          | throw | ( |  | 
        
          |  | ) |  |  | 
      
 
Returns the FileId of the file that already exists. 
- Returns
- FileId of the file that already exists. 
 
 
◆ file_id
  
  | 
        
          | FileId FileIdAlreadyExistDiskMgr::file_id |  | private | 
 
FileId of the file that already exists. 
 
 
The documentation for this class was generated from the following file: