On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Debugging
Module which handle dependencies between Dedukti files
exception Dep_error of dep_errorType declaration
up dependencies are the name that requires the current item. down dependencies are the name that are required by the current item.
type name_deps = (Kernel.Basic.ident, data) Hashtbl.tA map from an identifiers to its up and down dependencies
type file_deps = {file : string;(*path associated to the module
*)deps : Kernel.Basic.MidentSet.t;(*pairs of module and its associated path
*)name_deps : name_deps;(*up/down item dependencies. Not computed by default.
*)
}type t = (Kernel.Basic.mident, file_deps) Hashtbl.tMap to a module a file dependencies which contains all the dependencies
Dependencies function
val deps : tdeps contains the dependencies computed by the function handle
val ignore : bool ref(default: false) If true, no exception is raised if a module is not in the path
val compute_all_deps : bool refWhether to compute the dependencies of constants. If set to false, only module dependencies are computed.
val get_data : Kernel.Basic.name -> dataget_data name returns the data associated to name name. Raise NameNotfound if the dependencies for name have not been computed.
val make : Kernel.Basic.mident -> Parsers.Entry.entry list -> unitmake md es computes dependencies for the entries es in module md
val handle :
Kernel.Basic.mident ->
((Parsers.Entry.entry -> unit) -> unit) ->
unithandle md f computes dependencies on the fly for the entries in module md
val topological_sort : t -> string listtopological_sort f returns a list of files sorted by their dependencies
val transitive_closure : Kernel.Basic.name -> unittransitive_closure n compute the transitive closure for n
On This Page