Module Hydro_unmarshal

module Hydro_unmarshal: sig .. 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

Returns a message for a message buffer (header and body)

val read_int : string -> int -> int