Source

ocamlspot / cmt.mli

(***********************************************************************)
(*                                                                     *)
(*                            OCamlSpotter                             *)
(*                                                                     *)
(*                             Jun FURUSE                              *)
(*                                                                     *)
(*   Copyright 2008-2012 Jun Furuse. All rights reserved.              *)
(*   This file is distributed under the terms of the GNU Library       *)
(*   General Public License, with the special exception on linking     *)
(*   described in file LICENSE.                                        *)
(*                                                                     *)
(***********************************************************************)
(* cmt file conventions *)

open Cmt_format

val source_path : cmt_infos -> string option
  (** returns the full path of the source file *)

val of_path : string -> string
  (** get the corresponding cmt/cmti path name of the given file name:
      of_path "dir/x.cmi" = "dir/x.cmti"
      of_path "dir/x.ml"  = "dir/x.cmt"
  *)

val is_opt : cmt_infos -> bool
  (** Guess the cmt is created by opt(native code) compilation *)

val recover_env : Env.t -> Env.t
  (** Type environments in cmt are simplified and just have env summaries.
      If we want the real environment, we need to recover it from the summary. *)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.