2020-02-03 05:00:36 +01:00
|
|
|
// Copyright (c) 2019-2020 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
|
2019-12-16 20:22:04 +01:00
|
|
|
/*
|
|
|
|
struct Option2<T> {
|
|
|
|
data T
|
|
|
|
error string
|
|
|
|
ecode int
|
|
|
|
ok bool
|
|
|
|
is_none bool
|
|
|
|
}
|
|
|
|
*/
|
|
|
|
|
2019-12-19 21:52:45 +01:00
|
|
|
|
2019-06-22 20:20:28 +02:00
|
|
|
struct Option {
|
2020-03-21 09:48:02 +01:00
|
|
|
data [400]byte
|
2019-12-19 21:52:45 +01:00
|
|
|
error string
|
|
|
|
ecode int
|
|
|
|
ok bool
|
|
|
|
is_none bool
|
2019-06-22 20:20:28 +02:00
|
|
|
}
|
|
|
|
|
2020-04-24 17:35:33 +02:00
|
|
|
pub fn (o Option) str() string {
|
|
|
|
if o.ok && !o.is_none {
|
|
|
|
return 'Option{ data: ' + o.data[0..32].hex() + ' }'
|
|
|
|
}
|
|
|
|
if o.is_none {
|
2020-05-13 21:59:05 +02:00
|
|
|
return 'Option{ none }'
|
2020-04-24 17:35:33 +02:00
|
|
|
}
|
|
|
|
return 'Option{ error: "${o.error}" }'
|
|
|
|
}
|
|
|
|
|
2019-07-03 21:07:42 +02:00
|
|
|
// `fn foo() ?Foo { return foo }` => `fn foo() ?Foo { return opt_ok(foo); }`
|
|
|
|
fn opt_ok(data voidptr, size int) Option {
|
2020-03-21 09:48:02 +01:00
|
|
|
if size >= 400 {
|
|
|
|
panic('option size too big: $size (max is 400), this is a temporary limit')
|
2019-09-17 21:41:58 +02:00
|
|
|
}
|
2019-12-19 21:52:45 +01:00
|
|
|
res := Option{
|
2019-07-03 21:07:42 +02:00
|
|
|
ok: true
|
|
|
|
}
|
2019-09-17 21:41:58 +02:00
|
|
|
C.memcpy(res.data, data, size)
|
|
|
|
return res
|
|
|
|
}
|
|
|
|
|
2019-10-23 16:02:39 +02:00
|
|
|
// used internally when returning `none`
|
2019-09-17 21:41:58 +02:00
|
|
|
fn opt_none() Option {
|
2019-12-19 21:52:45 +01:00
|
|
|
return Option{
|
|
|
|
is_none: true
|
|
|
|
}
|
2019-07-03 21:07:42 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn error(s string) Option {
|
2019-12-19 21:52:45 +01:00
|
|
|
return Option{
|
2019-07-03 21:07:42 +02:00
|
|
|
error: s
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-10-25 21:03:42 +02:00
|
|
|
pub fn error_with_code(s string, code int) Option {
|
2019-12-19 21:52:45 +01:00
|
|
|
return Option{
|
2019-10-25 21:03:42 +02:00
|
|
|
error: s
|
|
|
|
ecode: code
|
|
|
|
}
|
|
|
|
}
|