module Error:sig
..end
type
error_location =
| |
Subtable of |
(* |
The error occured in the indicated subtable, with the given name (and number).
| *) |
| |
Table |
(* |
The error occured in the main table.
| *) |
| |
Any |
(* |
The location is undetermined.
| *) |
type
error =
| |
File_not_found of |
(* |
The file does not exist or is not readable.
| *) |
| |
File_overwrite of |
(* |
Overwriting an existing file is not allowed.
| *) |
| |
File_not_appendable of |
(* |
Append mode: the file does not exist, or is not readable, or is not writeable.
| *) |
| |
File_not_writeable of |
(* |
Write mode: the given permission does not allow writing to the file.
| *) |
| |
Bad_format of |
(* |
The file format is wrong: Bad_format (expected, found)
| *) |
| |
Bad_password of |
(* |
A wrong password was given to open a subtable or the database itself.
| *) |
| |
Bad_signature of |
(* |
The signature found in the file or in a subtable is wrong.
| *) |
| |
No_signature of |
(* |
No signature was found.
| *) |
| |
Is_Closed of |
(* |
The table, or subtable, cannot be used because it is already closed.
| *) |
| |
Is_Already_Open of |
(* |
This subtable cannot be opened because it has already been opened.
| *) |
| |
No_subtable of |
(* |
No subtable with the given name exists.
This error occurs when trying to open a standard subtable with open_uncrypted_subtable,
or when trying to open an explicitly uncrypted subtable with open_subtable.
| *) |
| |
Subtable_exists of |
(* |
A subtable with the given name already exists.
| *) |
| |
Subtable_overflow |
(* |
Too many subtables created. Current maximum is 2^14 - 1.
| *) |
| |
Overwrite of |
(* |
Trying to overwrite a key, while may_overwrite was false.
| *) |
| |
Unbound of |
(* |
Trying to read a key that is not bound.
| *) |
| |
DB_Error of |
(* |
Error when accessing the underlying database.
| *) |
| |
Corrupted of |
(* |
Corrupted file: it does not have the expected structure. (An error message is given).
| *) |
| |
Backup_failure of |
(* |
Error when trying to create the backup.
| *) |
exception Error of error
val loc2s : error_location -> string
val error2s : error -> string