2003-11-21 08:10:57 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
(* *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml *)
|
2003-11-21 08:10:57 -08:00
|
|
|
(* *)
|
|
|
|
(* Damien Doligez, projet Moscova, INRIA Rocquencourt *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2003 Institut National de Recherche en Informatique et *)
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
(* $Id$ *)
|
|
|
|
|
|
|
|
open Instruct;;
|
|
|
|
open Lexing;;
|
2005-08-25 08:35:16 -07:00
|
|
|
open Location;;
|
2003-11-21 08:10:57 -08:00
|
|
|
open Primitives;;
|
|
|
|
open Source;;
|
|
|
|
|
|
|
|
let get_desc ev =
|
2005-08-25 08:35:16 -07:00
|
|
|
let loc = ev.ev_loc in
|
|
|
|
if loc.loc_start.pos_fname <> ""
|
|
|
|
then Printf.sprintf "file %s, line %d, characters %d-%d"
|
|
|
|
loc.loc_start.pos_fname loc.loc_start.pos_lnum
|
|
|
|
(loc.loc_start.pos_cnum - loc.loc_start.pos_bol + 1)
|
|
|
|
(loc.loc_end.pos_cnum - loc.loc_start.pos_bol + 1)
|
2003-11-21 08:10:57 -08:00
|
|
|
else begin
|
2006-12-09 05:49:10 -08:00
|
|
|
let filename = source_of_module ev.ev_loc.loc_start ev.ev_module in
|
2003-11-21 08:10:57 -08:00
|
|
|
try
|
2006-12-09 05:49:10 -08:00
|
|
|
let (start, line) = line_of_pos (get_buffer loc.loc_start ev.ev_module)
|
2005-08-25 08:35:16 -07:00
|
|
|
loc.loc_start.pos_cnum
|
2003-11-21 08:10:57 -08:00
|
|
|
in
|
2005-08-25 08:35:16 -07:00
|
|
|
Printf.sprintf "file %s, line %d, characters %d-%d"
|
|
|
|
filename line (loc.loc_start.pos_cnum - start + 1)
|
|
|
|
(loc.loc_end.pos_cnum - start + 1)
|
2003-11-21 08:10:57 -08:00
|
|
|
with Not_found | Out_of_range ->
|
2005-08-25 08:35:16 -07:00
|
|
|
Printf.sprintf "file %s, characters %d-%d"
|
|
|
|
filename (loc.loc_start.pos_cnum + 1)
|
|
|
|
(loc.loc_end.pos_cnum + 1)
|
2003-11-21 08:10:57 -08:00
|
|
|
end
|
|
|
|
;;
|