blob: 50cc57e8ee98e99eddf18a1a766a81a18bf38163 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1997 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$ *)
(* An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename" *)
val for_position: string -> int -> string * int * int
(* [Linenum.for_position file loc] returns a triple describing
the location [loc] in the file named [file].
First result is name of actual source file.
Second result is line number in that source file.
Third result is position of beginning of that line in [file]. *)
|
