Module `Cms_format`

cms and cmsi files format.

module Uid = Shape.Uid

type cms_infos = {

cms_modname : Compilation_unit.t;
cms_comments : (string * Location.t) list;
cms_sourcefile : string option;
cms_builddir : string;
cms_source_digest : string option;
cms_initial_env : Env.t option;
cms_uid_to_loc : string Location.loc Shape.Uid.Tbl.t;
cms_uid_to_attributes : Parsetree.attributes Shape.Uid.Tbl.t;
cms_shape_format : Clflags.shape_format;
cms_impl_shape : Shape.t option;
cms_ident_occurrences : (Longident.t Location.loc * Shape_reduce.result) array;
cms_declaration_dependencies : (Cmt_format.dependency_kind * Uid.t * Uid.t) list;
cms_externals : Vicuna_value_shapes.extfun array;

}

type error =

| Not_a_shape of string

exception Error of Cms_format.error

val read : string -> Cms_format.cms_infos

read filename opens filename, and extract the cms_infos. It can be used with .cms and .cmsi files.

val save_cms : 
  Unit_info.Artifact.t ->
  Compilation_unit.t ->
  Cmt_format.binary_annots ->
  Env.t ->
  Shape.t option ->
  (Cmt_format.dependency_kind * Uid.t * Uid.t) list ->
  unit

save_cms filename modname sourcefile shape writes a cms(i) file.

val register_toplevel_attributes : 
  Shape.Uid.t ->
  attributes:Parsetree.attribute list ->
  loc:Location.t ->
  unit

val read_magic_number : Stdlib.in_channel -> string

val clear : unit -> unit

val shape_format_to_string : Clflags.shape_format -> string

Module Cms_format

Module `Cms_format`