
  * Copyright ( c ) 2005   <  > 
  * 
  * Permission to use , copy , modify , and distribute this software for any 
  * purpose with or without fee is hereby granted , provided that the above 
  * copyright notice and this permission notice appear in all copies . 
  * 
  * THE SOFTWARE IS PROVIDED " AS IS " AND THE AUTHOR DISCLAIMS ALL WARRANTIES 
  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF 
  * MERCHANTABILITY AND FITNESS . IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR 
  * ANY SPECIAL , DIRECT , INDIRECT , OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES 
  * WHATSOEVER RESULTING FROM LOSS OF USE , DATA OR PROFITS , WHETHER IN AN 
  * ACTION OF CONTRACT , NEGLIGENCE OR OTHER TORTIOUS ACTION , ARISING OUT OF 
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE . 
 
  * $ I d : mpl_location.ml , v 1.1 2005/09/15 14:21:18 avsm Exp $ 
 
 * Copyright (c) 2005 Anil Madhavapeddy <>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 
 * $Id: mpl_location.ml,v 1.1 2005/09/15 14:21:18 avsm Exp $
 *)

open Lexing
open Printf

(* Keep track of our location *)
type t = {
    file_name: string option;
    line_num: int;
    column_num: int;
}

let start = ref 1
let line = ref 1
let file_name = ref None

let initial_location = { file_name=None; line_num=0; column_num=0 }
let current_location = ref initial_location

let start_parse f =
    start := 1;
    line := 1;
    file_name := Some f

let new_line lexbuf =
    start := lexeme_end lexbuf;
    incr line

let next_token lexbuf =
    let col = lexeme_start lexbuf - !start in
    let l = {file_name= !file_name; line_num= !line; column_num=col} in
    current_location := l;
    l
        
let string_of_location l =
    match l.file_name with
    |None -> ":"
    |Some f ->
        let c = if l.column_num > 0 then sprintf " char %d" l.column_num else
            "" in
        sprintf " at line %d%s:" l.line_num c

 Keep track of our location 

  * Copyright ( c ) 2005   <  > 
  * 
  * Permission to use , copy , modify , and distribute this software for any 
  * purpose with or without fee is hereby granted , provided that the above 
  * copyright notice and this permission notice appear in all copies . 
  * 
  * THE SOFTWARE IS PROVIDED " AS IS " AND THE AUTHOR DISCLAIMS ALL WARRANTIES 
  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF 
  * MERCHANTABILITY AND FITNESS . IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR 
  * ANY SPECIAL , DIRECT , INDIRECT , OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES 
  * WHATSOEVER RESULTING FROM LOSS OF USE , DATA OR PROFITS , WHETHER IN AN 
  * ACTION OF CONTRACT , NEGLIGENCE OR OTHER TORTIOUS ACTION , ARISING OUT OF 
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE . 
 
  * $ I d : mpl_location.ml , v 1.1 2005/09/15 14:21:18 avsm Exp $ 
 
 * Copyright (c) 2005 Anil Madhavapeddy <>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 
 * $Id: mpl_location.ml,v 1.1 2005/09/15 14:21:18 avsm Exp $
 *)

open Lexing
open Printf

type t = {
    file_name: string option;
    line_num: int;
    column_num: int;
}

let start = ref 1
let line = ref 1
let file_name = ref None

let initial_location = { file_name=None; line_num=0; column_num=0 }
let current_location = ref initial_location

let start_parse f =
    start := 1;
    line := 1;
    file_name := Some f

let new_line lexbuf =
    start := lexeme_end lexbuf;
    incr line

let next_token lexbuf =
    let col = lexeme_start lexbuf - !start in
    let l = {file_name= !file_name; line_num= !line; column_num=col} in
    current_location := l;
    l
        
let string_of_location l =
    match l.file_name with
    |None -> ":"
    |Some f ->
        let c = if l.column_num > 0 then sprintf " char %d" l.column_num else
            "" in
        sprintf " at line %d%s:" l.line_num c
