Mailing List Archive

# HG changeset patch
# User David Scott <dave.scott@eu.citrix.com>
# Date 1301507668 -3600
# Node ID 73a25feaafcbc325fae8bfdb6ca484fbaa50caf8
# Parent 9179b9a3b07b6222098137af572641dc48efbb85
tools: ocaml: rename the domain_build_state types and functions

The aims are:
1. make the records instantiable if they have field names in common; and
2. to make it easier to derive the names programatically from the IDL

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
[ijc: s/Device_build_state/Domain_build_state/g]

diff -r 9179b9a3b07b -r 73a25feaafcb tools/ocaml/libs/xl/xl.ml
--- a/tools/ocaml/libs/xl/xl.ml Wed Mar 30 18:54:28 2011 +0100
+++ b/tools/ocaml/libs/xl/xl.ml Wed Mar 30 18:54:28 2011 +0100
@@ -70,13 +70,15 @@ module Domain_build_info = struct
}
end

-type build_state =
-{
- store_port : int;
- store_mfn : int64;
- console_port : int;
- console_mfn : int64;
-}
+module Domain_build_state = struct
+ type t =
+ {
+ store_port : int;
+ store_mfn : int64;
+ console_port : int;
+ console_mfn : int64;
+ }
+end

type domid = int

@@ -137,7 +139,7 @@ module Device_console = struct
consoletype : console_type;
}

- external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add"
+ external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add"
end

module Device_vkb = struct
diff -r 9179b9a3b07b -r 73a25feaafcb tools/ocaml/libs/xl/xl.mli
--- a/tools/ocaml/libs/xl/xl.mli Wed Mar 30 18:54:28 2011 +0100
+++ b/tools/ocaml/libs/xl/xl.mli Wed Mar 30 18:54:28 2011 +0100
@@ -70,13 +70,15 @@ module Domain_build_info : sig
}
end

-type build_state =
-{
- store_port : int;
- store_mfn : int64;
- console_port : int;
- console_mfn : int64;
-}
+module Domain_build_state : sig
+ type t =
+ {
+ store_port : int;
+ store_mfn : int64;
+ console_port : int;
+ console_mfn : int64;
+ }
+end

type domid = int

@@ -137,7 +139,7 @@ module Device_console : sig
consoletype : console_type;
}

- external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add"
+ external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add"
end

module Device_vkb : sig

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel