git.annexia.org
/
virt-df.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Associate opaque plugin ID with each major structure.
[virt-df.git]
/
lib
/
diskimage_utils.mli
diff --git
a/lib/diskimage_utils.mli
b/lib/diskimage_utils.mli
index
91f43e0
..
07ad079
100644
(file)
--- a/
lib/diskimage_utils.mli
+++ b/
lib/diskimage_utils.mli
@@
-72,7
+72,7
@@
and disk_content =
]
and partitions = {
]
and partitions = {
- parts_
name : string
;
+ parts_
plugin_id : parts_plugin_id
;
parts : partition list;
}
and partition = {
parts : partition list;
}
and partition = {
@@
-90,7
+90,7
@@
and partition_content =
]
and filesystem = {
]
and filesystem = {
- fs_
name : string
;
+ fs_
plugin_id : fs_plugin_id
;
fs_block_size : int64;
fs_blocks_total : int64;
fs_is_swap : bool;
fs_block_size : int64;
fs_blocks_total : int64;
fs_is_swap : bool;
@@
-111,11
+111,10
@@
and lv = {
lv_dev : device;
}
lv_dev : device;
}
+and parts_plugin_id = string
+and fs_plugin_id = string
and lvm_plugin_id = string
and lvm_plugin_id = string
-val string_of_partition : partition -> string
-val string_of_filesystem : filesystem -> string
-
(** {2 Internal functions used by the plug-ins} *)
val canonical_uuid : string -> string
(** {2 Internal functions used by the plug-ins} *)
val canonical_uuid : string -> string