ocamlnet 4.1.9-2 · OCaml Package

type xdr_value =

| XV_int of Netnumber.int4
| XV_uint of Netnumber.uint4
| XV_hyper of Netnumber.int8
| XV_uhyper of Netnumber.uint8
| XV_enum of string
| XV_float of Netnumber.fp4
| XV_double of Netnumber.fp8
| XV_opaque of string
| XV_string of string
| XV_array of xdr_value array
| XV_struct of (string * xdr_value) list
| XV_union_over_int of Netnumber.int4 * xdr_value
| XV_union_over_uint of Netnumber.uint4 * xdr_value
| XV_union_over_enum of string * xdr_value
| XV_void
| XV_enum_fast of int
| XV_struct_fast of xdr_value array
| XV_union_over_enum_fast of int * xdr_value
| XV_array_of_string_fast of string array
| XV_mstring of Netxdr_mstring.mstring
| XV_direct of exn * int * exn -> xdr_value

val xv_true : xdr_value

val xv_false : xdr_value

val xv_none : xdr_value

val xv_some : xdr_value -> xdr_value

type xdr_type_term =

| X_int
| X_uint
| X_hyper
| X_uhyper
| X_enum of (string * Netnumber.int4) list
| X_float
| X_double
| X_opaque_fixed of Netnumber.uint4
| X_opaque of Netnumber.uint4
| X_string of Netnumber.uint4
| X_mstring of string * Netnumber.uint4
| X_array_fixed of xdr_type_term * Netnumber.uint4
| X_array of xdr_type_term * Netnumber.uint4
| X_struct of (string * xdr_type_term) list
| X_union_over_int of (Netnumber.int4 * xdr_type_term) list * xdr_type_term option
| X_union_over_uint of (Netnumber.uint4 * xdr_type_term) list * xdr_type_term option
| X_union_over_enum of xdr_type_term * (string * xdr_type_term) list * xdr_type_term option
| X_void
| X_type of string
| X_param of string
| X_rec of string * xdr_type_term
| X_refer of string
| X_direct of xdr_type_term * Bytes.t -> int Pervasives.ref -> int -> exn * exn -> Bytes.t -> int Pervasives.ref -> unit * exn -> int * exn -> xdr_value

type xdr_type

type xdr_type_term_system = (string * xdr_type_term) list

type xdr_type_system

val x_bool : xdr_type_term

val x_optional : xdr_type_term -> xdr_type_term

val x_opaque_max : xdr_type_term

val x_string_max : xdr_type_term

val x_mstring_max : string -> xdr_type_term

val x_array_max : xdr_type_term -> xdr_type_term

exception Dest_failure

val dest_xv_int : xdr_value -> Netnumber.int4

val dest_xv_uint : xdr_value -> Netnumber.uint4

val dest_xv_hyper : xdr_value -> Netnumber.int8

val dest_xv_uhyper : xdr_value -> Netnumber.uint8

val dest_xv_enum : xdr_value -> string

val dest_xv_enum_fast : xdr_value -> int

val dest_xv_float : xdr_value -> Netnumber.fp4

val dest_xv_double : xdr_value -> Netnumber.fp8

val dest_xv_opaque : xdr_value -> string

val dest_xv_string : xdr_value -> string

val dest_xv_mstring : xdr_value -> Netxdr_mstring.mstring

val dest_xv_array : xdr_value -> xdr_value array

val dest_xv_array_of_string_fast : xdr_value -> string array

val dest_xv_struct : xdr_value -> (string * xdr_value) list

val dest_xv_struct_fast : xdr_value -> xdr_value array

val dest_xv_union_over_int : xdr_value -> Netnumber.int4 * xdr_value

val dest_xv_union_over_uint : xdr_value -> Netnumber.uint4 * xdr_value

val dest_xv_union_over_enum : xdr_value -> string * xdr_value

val dest_xv_union_over_enum_fast : xdr_value -> int * xdr_value

val dest_xv_void : xdr_value -> unit

val map_xv_enum_fast : xdr_type -> xdr_value -> int32

val map_xv_struct_fast : xdr_type -> xdr_value -> xdr_value array

val map_xv_union_over_enum_fast : 
  xdr_type ->
  xdr_value ->
  int * int32 * xdr_value

exception Xdr_format of string

exception Xdr_format_message_too_long of xdr_value

exception Xdr_failure of string

val validate_xdr_type : xdr_type_term -> xdr_type

val validate_xdr_type_system : xdr_type_term_system -> xdr_type_system

val params : xdr_type -> string list

val xdr_type_term : xdr_type -> xdr_type_term

val xdr_type_term_system : xdr_type_system -> xdr_type_term_system

val expanded_xdr_type : xdr_type_system -> xdr_type_term -> xdr_type

val expanded_xdr_type_term : 
  xdr_type_term_system ->
  xdr_type_term ->
  xdr_type_term

val are_compatible : xdr_type -> xdr_type -> bool

val value_matches_type : 
  xdr_value ->
  xdr_type ->
  (string * xdr_type) list ->
  bool

type encoder = Netxdr_mstring.mstring list -> Netxdr_mstring.mstring list

type decoder = Bytes.t -> int -> int -> Bytes.t * int

val pack_xdr_value : 
  ?encode:(string * encoder) list ->
  xdr_value ->
  xdr_type ->
  (string * xdr_type) list ->
  (Bytes.t -> unit) ->
  unit

val pack_xdr_value_as_bytes : 
  ?rm:bool ->
  ?encode:(string * encoder) list ->
  xdr_value ->
  xdr_type ->
  (string * xdr_type) list ->
  Bytes.t

val pack_xdr_value_as_string : 
  ?rm:bool ->
  ?encode:(string * encoder) list ->
  xdr_value ->
  xdr_type ->
  (string * xdr_type) list ->
  string

val pack_xdr_value_as_mstrings : 
  ?rm:bool ->
  ?encode:(string * encoder) list ->
  xdr_value ->
  xdr_type ->
  (string * xdr_type) list ->
  Netxdr_mstring.mstring list

type xdr_value_version = [

| `Ocamlrpcgen
| `V1
| `V2
| `V3
| `V4

]

val unpack_xdr_value : 
  ?pos:int ->
  ?len:int ->
  ?fast:bool ->
  ?prefix:bool ->
  ?mstring_factories:Netxdr_mstring.named_mstring_factories ->
  ?xv_version:xdr_value_version ->
  ?decode:(string * decoder) list ->
  Bytes.t ->
  xdr_type ->
  (string * xdr_type) list ->
  xdr_value

val unpack_xdr_value_l : 
  ?pos:int ->
  ?len:int ->
  ?fast:bool ->
  ?prefix:bool ->
  ?mstring_factories:Netxdr_mstring.named_mstring_factories ->
  ?xv_version:xdr_value_version ->
  ?decode:(string * decoder) list ->
  Bytes.t ->
  xdr_type ->
  (string * xdr_type) list ->
  xdr_value * int

val unpack_xdr_value_str : 
  ?pos:int ->
  ?len:int ->
  ?fast:bool ->
  ?prefix:bool ->
  ?mstring_factories:Netxdr_mstring.named_mstring_factories ->
  ?xv_version:xdr_value_version ->
  ?decode:(string * decoder) list ->
  string ->
  xdr_type ->
  (string * xdr_type) list ->
  xdr_value * int

val get_string_decoration_size : int -> Netnumber.uint4 -> int

val sizefn_string : Netnumber.uint4 -> string -> int

val sizefn_mstring : Netnumber.uint4 -> Netxdr_mstring.mstring -> int

val write_string_fixed : int -> string -> Bytes.t -> int Pervasives.ref -> unit

val write_string : string -> Bytes.t -> int Pervasives.ref -> unit

val read_string_fixed : int -> Bytes.t -> int Pervasives.ref -> int -> string

val read_string : 
  Netnumber.uint4 ->
  Bytes.t ->
  int Pervasives.ref ->
  int ->
  string

val raise_xdr_format_too_short : unit -> 'a

val raise_xdr_format_value_not_included : unit -> 'a

val raise_xdr_format_maximum_length : unit -> 'a

val raise_xdr_format_undefined_descriminator : unit -> 'a

val safe_add : int -> int -> int

val safe_mul : int -> int -> int

type ctx = {

ctx_direct : bool;
ctx_direct_sub : bool;
ctx_copy_string : string -> string;

}

val default_ctx : ctx

val expand_ctx : ctx

val direct_ctx : ctx

package ocamlnet