1 (***********************************************************************)
5 (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
6 (* Objective Caml port by John Malecki and Xavier Leroy *)
8 (* Copyright 1996 Institut National de Recherche en Informatique et *)
9 (* en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0. *)
12 (***********************************************************************)
14 (* $Id: show_source.mli 7767 2006-12-09 13:49:10Z ertai $ *)
16 (* Print the line containing the point *)
17 val show_point : Instruct.debug_event -> bool -> unit;;
19 (* Tell Emacs we are nowhere in the source. *)
20 val show_no_point : unit -> unit;;
22 (* Display part of the source. *)
23 val show_listing : Lexing.position -> string -> int -> int -> int -> bool -> unit;;