diff options
Diffstat (limited to 'src/util_reference_tree.mli')
| -rw-r--r-- | src/util_reference_tree.mli | 16 |
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 |