diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-12-17 10:04:56 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-12-17 21:13:45 -0600 |
| commit | 61bb74851b0ea626a25b66b2822edc6663d116e9 (patch) | |
| tree | 06f0fda2253cd5415632d3a45fa894261fa233cc /src/reference_tree.ml | |
| parent | b303da3489a24181eff531ea01423b697f24bed3 (diff) | |
| download | vyos1x-config-61bb74851b0ea626a25b66b2822edc6663d116e9.tar.gz vyos1x-config-61bb74851b0ea626a25b66b2822edc6663d116e9.zip | |
T8061: add function get_completion_env
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 4532135..81e45cf 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -591,20 +591,6 @@ let get_value_help reftree path = let data = (Vytree.get_data[@alert "-exn"]) reftree path in data.value_help -let get_completion_data reftree path = - (* raises: - [Vytree.Empty_path] - [Vytree.Nonexistent_path] - alert exn Vytree.get: - [Vytree.Empty_path] allow raise - [Vytree.Nonexistent_path] allow raise - *) - let aux node = - let data = Vytree.data_of_node node in - (data.node_type, data.multi, data.help) - in - List.map aux (Vytree.children_of_node @@ (Vytree.get[@alert "-exn"]) reftree path) - let get_default_value reftree path = (* raises: [Vytree.Empty_path] |