Module Hydro_unmarshal


module Hydro_unmarshal: sig .. end
Hydro unmarshalling

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