module Dtypes: sig
.. end
Getting information in ocaml-generated .annot files.
val filename_re : string
val number_re : string
val position_re : string
val s_location_re : string
val location_re : Str.regexp
type
loc = int * int
absolute position of start and end of type annotation in the .annot file
type
ident_kind =
| |
Int_ref of string * loc |
| |
Ext_ref of string |
| |
Def of string |
type
annot_kind =
| |
Type of string Lazy.t |
| |
Ident of ident_kind |
| |
Call of [ `Stack | `Tail ] |
val no_blanks : string -> string
val ext_ref_re : string
val int_ref_re : string
val def_re : string
val ident_info_of_string : string -> ident_kind
val annot_kind_of_string : start:int -> stop:int -> string -> string -> annot_kind
val annot_re : Str.regexp
type
tree = {
|
t_pos_left : int ; |
|
t_pos_right : int ; |
|
t_kind : annot_kind option ; |
|
t_children : tree list ; |
}
val add_node : tree list ->
left:int -> right:int -> kind:annot_kind -> tree list
val cut_by_locations : string -> (int * int * int * int) list
val get_annots : string ->
tree list ->
left:int -> right:int -> int -> int option -> tree list
val build_tree : string -> tree option
val search_in_tree : [> `Call | `Ident | `Type ] ->
int -> tree -> (int * int * annot_kind) option
val fold : ('a -> int * int * annot_kind option -> 'a) -> 'a -> tree -> 'a