Files (p.dedukti.2.7.doc.dedukti.api.Api.Files)

Sourcetype files_error =

| ModuleNotFound of Kernel.Basic.mident
| MultipleModules of string * string list
| ObjectFileNotFound of Kernel.Basic.mident

Sourceexception Files_error of files_error

Sourceval add_path : string -> unit

add_path p add the p to the load path

Sourceval get_path : unit -> string list

get_path () returns all the paths in the load path

Sourceval find_object_file : Kernel.Basic.loc -> Kernel.Basic.mident -> string

get_find_object_file lc md returns the path assoiated to the module md or raise an exception

Sourceval object_file_of_input : Parsers.Parser.input -> string

object_file_of_input returns the filename associated to the input

Sourceval get_file : Kernel.Basic.mident -> string

get_file md returns the path associated to module md

Source

val find_dk : 
  ignore:bool ->
  Kernel.Basic.mident ->
  string list ->
  string option

find_dk md path looks for the ".dk" file corresponding to the module named name in the directories of path. If no corresponding file is found, or if there are several possibilities, the program fails with a graceful error message.