module ParseLocation: sig
.. end
Location in a file
type
t = {
|
file : string ; |
|
start_line : int ; |
|
start_column : int ; |
|
stop_line : int ; |
|
stop_column : int ; |
}
val mk : string -> int -> int -> int -> int -> t
val mk_pair : string -> int * int -> int * int -> t
val mk_pos : Lexing.position -> Lexing.position -> t
val eq : t -> t -> bool
val hash : t -> int
val combine : t -> t -> t
Position that spans the two given positions. The file is assumed to be
the same in both case, and is chosen from one of the two positions.
val combine_list : t list -> t
val smaller : t -> t -> bool
smaller p1 p2
is true if p1
is included in p2
, ie
p1
is a sub-location of p2
(interval inclusion)
include Interfaces.PRINT
val pp_opt : t option CCFormat.printer
Lexbuf
val set_file : Lexing.lexbuf -> string -> unit
Change the file name used for positions in this lexbuf
val of_lexbuf : Lexing.lexbuf -> t
Recover a position from a lexbuf