diff options
| author | John Estabrook <jestabro@vyos.io> | 2022-02-25 10:43:13 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2022-02-25 10:43:13 -0600 |
| commit | 7e4d9ff86ca96a990f52e05310a0486cb668cfb8 (patch) | |
| tree | cf032f1ef446b1eda518fa5816be8aa04fe7e681 /src/config_diff.mli | |
| parent | 23173c6b5d12e5b7990fafe2b43d40f5cbf1a2a5 (diff) | |
| download | vyos1x-config-7e4d9ff86ca96a990f52e05310a0486cb668cfb8.tar.gz vyos1x-config-7e4d9ff86ca96a990f52e05310a0486cb668cfb8.zip | |
T4235: keep full paths in subtract tree
In the intial implementation, the delete tree only kept the first node
of a path not present in the RHS of the comparison; this was done as a
convenience for generating 'trimmed' delete commands for the CLI.
However, this loses needed information, and breaks the symmetry of
results:
LHS, RHS -> del, inter, add
RHS, LHS -> add, inter, del
Keep full paths in delete tree and rename trees.del to trees.sub(-tract).
A separate function 'trim_tree' will be provided to produce a
CLI-appopriate delete tree and commands.
Diffstat (limited to 'src/config_diff.mli')
| -rw-r--r-- | src/config_diff.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/config_diff.mli b/src/config_diff.mli index 5f96209..5aa6d30 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -6,7 +6,7 @@ type diff_trees = { left: Config_tree.t; right: Config_tree.t; add: Config_tree.t ref; - del: Config_tree.t ref; + sub: Config_tree.t ref; inter: Config_tree.t ref; } |