blob: 1ef4de2796f177264774b50a4082687d29d675db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2006 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
open Lexing
open Location
type kind = Dinfo_call | Dinfo_raise
type t = {
dinfo_kind: kind;
dinfo_file: string;
dinfo_line: int;
dinfo_char_start: int;
dinfo_char_end: int
}
let none = {
dinfo_kind = Dinfo_call;
dinfo_file = "";
dinfo_line = 0;
dinfo_char_start = 0;
dinfo_char_end = 0
}
(* PR#5643: cannot use (==) because Debuginfo values are marshalled *)
let is_none t =
t = none
let to_string d =
if d = none
then ""
else Printf.sprintf "{%s:%d,%d-%d}"
d.dinfo_file d.dinfo_line d.dinfo_char_start d.dinfo_char_end
let from_filename kind filename = {
dinfo_kind = kind;
dinfo_file = filename;
dinfo_line = 0;
dinfo_char_start = 0;
dinfo_char_end = 0
}
let from_location kind loc =
if loc == Location.none then none else
{ dinfo_kind = kind;
dinfo_file = loc.loc_start.pos_fname;
dinfo_line = loc.loc_start.pos_lnum;
dinfo_char_start = loc.loc_start.pos_cnum - loc.loc_start.pos_bol;
dinfo_char_end =
if loc.loc_end.pos_fname = loc.loc_start.pos_fname
then loc.loc_end.pos_cnum - loc.loc_start.pos_bol
else loc.loc_start.pos_cnum - loc.loc_start.pos_bol }
let from_call ev = from_location Dinfo_call ev.Lambda.lev_loc
let from_raise ev = from_location Dinfo_raise ev.Lambda.lev_loc
let to_location d =
if is_none d then Location.none
else
let loc_start =
{ Lexing.
pos_fname = d.dinfo_file;
pos_lnum = d.dinfo_line;
pos_bol = 0;
pos_cnum = d.dinfo_char_start;
}
in
let loc_end = { loc_start with pos_cnum = d.dinfo_char_end; } in
{ Location. loc_ghost = false; loc_start; loc_end; }
|
