Module Cil_datatype.Location

module Location: sig .. end

Cil locations.


include Cil_datatype.S_with_collections_pretty
val unknown : t
val pretty_long : t Pretty_utils.formatter
val pretty_line : 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_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 compare_start_semantic : Cil_types.location -> Cil_types.location -> int

Compares two locations semantically, only taking into account their starting position. Compares normalized filenames, lines and columns, but no absolute character offsets.

val equal_start_semantic : Cil_types.location -> Cil_types.location -> bool

Equality using compare_start_semantic.