Module `Libsail.Project`Source

Definition of Sail project files, and functions for working with them.

Sourcemodule ModId : sig ... end

Module identifiers are just integers, but we don't want to expose that representation to the world.

Sourcetype mod_id = ModId.t

Sourceval global_scope : mod_id

The global scope is for code not defined in any module.

Sourcemodule ModSet : sig ... end

Sourcetype l = Lexing.position * Lexing.position

Sourcetype 'a spanned = 'a * l

Sourceval to_loc : l -> Parse_ast.l

Convert a project file location to a full Parse_ast location

Sourcetype value

Sourceval bool_value : bool -> value

Sourceval string_value : string -> value

Sourceval parse_assignment : variables:value Util.StringMap.t ref -> string -> bool

Sourcetype exp =

Sourcetype 'a non_empty = 'a * 'a list

Sourcetype dependency =

Sourcetype mdl_def =

Sourceand mdl = {

}

Sourcetype def =

Sourceval mk_root : string -> def spanned

Sourcetype project_structure

val initialize_project_structure : 
  variables:value Util.StringMap.t ref ->
  def spanned list ->
  project_structure

Sourceval get_module_id : project_structure -> string -> mod_id option

Sourceval get_children : mod_id -> project_structure -> ModSet.t

Sourceval required_modules : roots:ModSet.t -> project_structure -> mod_id -> bool

Create a predicate that returns true for any module that is (transitively) required by any module in the roots set of modules.

Sourceval module_name : project_structure -> mod_id -> string spanned

Sourceval valid_module_id : project_structure -> mod_id -> bool

Sourceval module_order : project_structure -> mod_id list

Sourceval module_files : project_structure -> mod_id -> string spanned list

Sourceval module_requires : project_structure -> mod_id -> mod_id list

Sourceval all_files : project_structure -> string spanned list

Sourceval all_modules : project_structure -> mod_id list

package libsail