module Loc: Location
Location
type
|
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
Use the two positions of lexbufs. The file of the first lexbuf is used
include Intf.EQ
include Intf.HASH
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 -> than:t -> bool
smaller p ~than is true if p is included in than, ie
p is a sub-location of than (interval inclusion)
include Intf.PRINT
val to_string : t -> string
val print_opt : Format.formatter -> t option -> unit
val to_string_opt : t option -> string
Value bundled with Location
type 'a with_loc = {
|
loc : t option; |
|
value : 'a; |
}
val with_loc : ?loc:t -> 'a -> 'a with_loc
with_loc ?loc x makes a value with the given location
val get : 'a with_loc -> 'a
val get_loc : 'a with_loc -> t option
Lexbuf
Utils to set/get the file in a lexbuf
val set_file : Lexing.lexbuf -> string -> unit
Change the file name used for positions in this lexbuf
val get_file : Lexing.lexbuf -> string
Obtain the filename
val of_lexbuf : Lexing.lexbuf -> t
Recover a position from a lexbuf