Module Cil.CurrentLoc

module CurrentLoc: State_builder.Ref  with type data = location

A reference to the current location. If you are careful to set this to the current location then you can use some built-in logging functions that will print the location.

include State_builder.S

type data

Type of the referenced value.

val set : data -> unit

Change the referenced value.

val get : unit -> data

Get the referenced value.

val clear : unit -> unit

Reset the reference to its default value.