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
Prints only the line of the location
val of_lexing_loc : Stdlib.Lexing.position * Stdlib.Lexing.position -> t
val to_lexing_loc : t -> Stdlib.Lexing.position * Stdlib.Lexing.position