2019-03-11 09:34:04 +00:00
|
|
|
type
|
|
|
|
SerializationError* = object of CatchableError
|
|
|
|
UnexpectedEofError* = object of SerializationError
|
2019-07-08 07:55:32 +00:00
|
|
|
CustomSerializationError* = object of SerializationError
|
2019-03-11 09:34:04 +00:00
|
|
|
|
2020-06-15 21:59:35 +00:00
|
|
|
method formatMsg*(err: ref SerializationError, filename: string): string
|
|
|
|
{.gcsafe, base, raises: [Defect].} =
|
2022-03-09 15:15:50 +00:00
|
|
|
"Serialisation error while processing " & filename & ":" & err.msg
|
2019-03-19 23:44:30 +00:00
|
|
|
|