diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-11-10 13:34:51 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-11-11 10:51:45 -0600 |
| commit | 411c132a6158e62064b23ef4bbcc0c939cdcdaba (patch) | |
| tree | 0cdc19d7264ae9120e278cffb88e77050dc183b2 /src/config_diff.mli | |
| parent | f96c02f7b9819212086da69cebbbf4f90e48766b (diff) | |
| download | vyos1x-config-411c132a6158e62064b23ef4bbcc0c939cdcdaba.tar.gz vyos1x-config-411c132a6158e62064b23ef4bbcc0c939cdcdaba.zip | |
T7988: add diff function for show config
Diffstat (limited to 'src/config_diff.mli')
| -rw-r--r-- | src/config_diff.mli | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/config_diff.mli b/src/config_diff.mli index 8f6860d..7579e32 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -19,9 +19,19 @@ module Diff_compare : sig } end +module Diff_show : sig + type t = { left: Config_tree.t; + right: Config_tree.t; + base_path: string list; + open_blocks: string list list; + config_diff: string; + } +end + type _ diff_result = | Diff_tree : Diff_tree.t -> Diff_tree.t diff_result | Diff_compare : Diff_compare.t -> Diff_compare.t diff_result + | Diff_show : Diff_show.t -> Diff_show.t diff_result val eval_diff_result : 'a diff_result -> 'a @@ -43,6 +53,10 @@ val diff_compare : ?cmds:bool -> string list -> Config_tree.t -> Config_tree.t - [@@alert exn "Config_diff.Incommensurable"] [@@alert exn "Config_diff.Empty_comparison"] +val diff_show : Reference_tree.t -> string list -> Config_tree.t -> Config_tree.t -> string +[@@alert exn "Config_diff.Incommensurable"] +[@@alert exn "Config_diff.Empty_comparison"] + val tree_union : Config_tree.t -> Config_tree.t -> Config_tree.t [@@alert exn "Tree_alg.Incompatible_union"] [@@alert exn "Tree_alg.Nonexistent_child"] |