v/vlib/builtin/option.v

97 lines
1.9 KiB
V
Raw Normal View History

// Copyright (c) 2019-2021 Alexander Medvednikov. All rights reserved.
2019-06-23 04:21:30 +02:00
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.
2019-06-22 20:20:28 +02:00
module builtin
// IError holds information about an error instance
pub interface IError {
msg string
code int
2020-05-31 12:57:26 +02:00
}
2019-12-19 21:52:45 +01:00
// Error is the default implementation of IError, that is returned by e.g. `error()`
pub struct Error {
pub:
msg string
code int
2020-05-31 12:57:26 +02:00
}
pub fn (err IError) str() string {
return match err {
None__ { 'none' }
Error { err.msg }
else { '$err.type_name(): $err.msg' }
}
}
const none__ = IError(&None__{})
struct None__ {
msg string
code int
}
fn (_ None__) str() string {
return 'none'
}
// error returns a default error instance containing the error given in `message`.
// Example: `if ouch { return error('an error occurred') }`
[inline]
pub fn error(message string) IError {
return &Error{
msg: message
}
}
// error_with_code returns a default error instance containing the given `message` and error `code`.
// `if ouch { return error_with_code('an error occurred', 1) }`
[inline]
pub fn error_with_code(message string, code int) IError {
return &Error{
msg: message
code: code
}
}
2021-02-22 17:44:15 +01:00
// Option is the base of V's internal optional return system.
struct Option {
2021-02-22 17:44:15 +01:00
state byte
err IError = none__
2021-02-22 17:44:15 +01:00
// Data is trailing after err
// and is not included in here but in the
// derived Option_xxx types
2021-02-22 17:44:15 +01:00
}
fn opt_ok(data voidptr, mut option Option, size int) {
unsafe {
*option = Option{}
// use err to get the end of OptionBase and then memcpy into it
2021-04-05 20:21:46 +02:00
C.memcpy(&byte(&option.err) + sizeof(IError), data, size)
2021-02-22 17:44:15 +01:00
}
}
[unsafe]
pub fn (e &Error) free() {
unsafe { e.msg.free() }
}
[unsafe]
pub fn (n &None__) free() {
unsafe { n.msg.free() }
}
[typedef]
struct C.IError {
_object voidptr
}
[unsafe]
pub fn (ie &IError) free() {
unsafe {
ie.msg.free()
cie := &C.IError(ie)
free(cie._object)
}
}