#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: