module Location:sig
..end
Cil locations.
include Cil_datatype.S_with_collections_pretty
val unknown : t
val pretty_long : t Pretty_utils.formatter
Pretty the location under the form file <f>, line <l>
, without
the full-path to the file. The default pretty-printer pretty
echoes
<dir/f>:<l>
val pretty_line : t Pretty_utils.formatter
val pretty_debug : t Pretty_utils.formatter
Pretty-print both location start and end, including file, line and character offset.
val of_lexing_loc : Stdlib.Lexing.position * Stdlib.Lexing.position -> t
Prints only the line of the location
val to_lexing_loc : t -> Stdlib.Lexing.position * Stdlib.Lexing.position
val equal_start_semantic : Cil_types.location -> Cil_types.location -> bool
Compares two locations semantically, only taking into account their starting position. Compares normalized filenames, lines and columns, but no absolute character offsets.