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.

1 files changed, 16 insertions, 0 deletions

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