2021-07-28 16:24:07 +03:00
|
|
|
import "@fluencelabs/aqua-lib/builtin.aqua"
|
|
|
|
|
2021-06-02 20:56:44 +03:00
|
|
|
service SomeS("test2"):
|
|
|
|
getStr: ?string -> ?string
|
2021-07-28 16:24:07 +03:00
|
|
|
getStr1: -> ?string
|
2021-06-02 20:56:44 +03:00
|
|
|
getStr2: string -> string
|
2021-11-02 17:03:21 +03:00
|
|
|
checkU32(u: ?u32)
|
|
|
|
|
|
|
|
func checkU32AndU8(a: ?u8):
|
|
|
|
SomeS.checkU32(a)
|
2021-06-02 20:56:44 +03:00
|
|
|
|
2021-06-02 22:42:12 +03:00
|
|
|
func useOptional(opt: ?string) -> string:
|
|
|
|
res <- SomeS.getStr(opt)
|
|
|
|
for i <- opt:
|
|
|
|
SomeS.getStr2(i)
|
2021-07-28 16:24:07 +03:00
|
|
|
<- res!
|
|
|
|
|
|
|
|
func returnOptional() -> ?string:
|
|
|
|
res <- SomeS.getStr1()
|
|
|
|
<- res
|
|
|
|
|
|
|
|
func returnNone() -> ?string:
|
|
|
|
result: *string
|
|
|
|
Op.noop()
|
|
|
|
<- result
|