From a51aa7203aac2b9cdccfd5b7deed9121d9922717 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Wed, 19 Aug 2026 16:13:23 -0500 Subject: T9231: add util_reference_tree Add utilities for collecting paths of the reference_tree satisfying a condition, with optional inclusion of extra data. Expose util for returning owner of path. --- src/util_reference_tree.mli | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 src/util_reference_tree.mli (limited to 'src/util_reference_tree.mli') diff --git a/src/util_reference_tree.mli b/src/util_reference_tree.mli new file mode 100644 index 0000000..605a58a --- /dev/null +++ b/src/util_reference_tree.mli @@ -0,0 +1,16 @@ + +open Reference_tree + +val get_multi_nodes : ?tag_value_placeholder:string -> t -> string list list +val get_tag_nodes : ?tag_value_placeholder:string -> t -> string list list +val get_nodes_of_kind : ?tag_value_placeholder:string -> t -> string -> string list list +val get_rdeps_of_kind : ?tag_value_placeholder:string -> t -> string -> string list list +val get_rdeps_of_kind_data : ?tag_value_placeholder:string -> t -> string -> (string list * string) list + +val get_multi_nodes_yojson : ?tag_value_placeholder:string -> t -> string +val get_tag_nodes_yojson: ?tag_value_placeholder:string -> t -> string +val get_nodes_of_kind_yojson : ?tag_value_placeholder:string -> t -> string -> string +val get_rdeps_of_kind_yojson : ?tag_value_placeholder:string -> t -> string -> string +val get_rdeps_of_kind_data_yojson : ?tag_value_placeholder:string -> t -> string -> string + +val get_path_owner : t -> string list -> string option -- cgit v1.2.3