module Hydro_unmarshal:Hydro unmarshallingsig
..end
val decapsulate : Hydro_types.encap_buffer -> Hydro_types.encap_buffer
decapsulate (nb,pos,len)
: Interprets the len
bytes at pos
in nb
as encapsulation, and returns its contents also in the
format (nb',pos',len')
. nb=nb'
is allowed.val unmarshal : Hydro_types.system ->
Hydro_types.htype -> bool -> Hydro_types.encap_buffer -> Hydro_types.value
unmarshal sys ht class_flag eb
: Decodes the value at pos
with
length len
in nb
which is supposed to be of type ht
and returns
it.
The class_flag
must be true if ht
contains classes.
Logically, a whole encapsulation body is decoded (incl. the appendix
for class values).
val unmarshal_exn : Hydro_types.system -> Hydro_types.encap_buffer -> Hydro_types.sliced_value
unmarshal_exn sys (nb,pos,len)
: Decodes the exception value
at pos
with length len
in nb
and returns it. The exception
can be any exception listed in sys
.
Logically, a whole encapsulation body is decoded (incl. the appendix
for class values).
val unmarshal_msg : Hydro_types.system ->
Hydro_types.msg_header -> Hydro_types.encap_buffer -> Hydro_types.msg
val read_int : string -> int -> int