(** @return the one step direct dependencies of an object, specified by URI
* (that is, the list of objects on which an given one depends) *)
val direct_deps:
- dbd:HMysql.dbd ->
+ dbd:HSql.dbd ->
UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
(** @return the one step inverse dependencies of an objects, specified by URI
* (that is, the list of objects which depends on a given object) *)
val inverse_deps:
- dbd:HMysql.dbd ->
+ dbd:HSql.dbd ->
UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
val topological_sort:
- dbd:HMysql.dbd -> UriManager.uri list -> UriManager.uri list
+ dbd:HSql.dbd -> UriManager.uri list -> UriManager.uri list
+
+val sorted_uris_of_baseuri:
+ dbd:HSql.dbd -> string -> UriManager.uri list
(** Representation of a (lazy) dependency graph.
* Imperative data structure. *)
val render: Format.formatter -> t -> unit
(** @return the transitive closure of direct_deps *)
- val direct_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+ val direct_deps: dbd:HSql.dbd -> UriManager.uri -> t
(** @return the transitive closure of inverse_deps *)
- val inverse_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+ val inverse_deps: dbd:HSql.dbd -> UriManager.uri -> t
end