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