module Context: sig
.. end
Current Loc
val with_current_loc : Cil_const.CurrentLoc.data -> ('a -> 'b) -> 'a -> 'b
type 'a
value = {
|
name : string ; |
|
mutable current : 'a option ; |
}
val create : ?default:'a -> string -> 'a value
Creates a new context with name
val name : 'a value -> string
val defined : 'a value -> bool
The current value is defined.
val get : 'a value -> 'a
Retrieves the current value of the context.
Raise an exception if not bound.
val set : 'a value -> 'a -> unit
Define the current value. Previous one is lost
val clear : 'a value -> unit
Clear the current value.
val update : 'a value -> ('a -> 'a) -> unit
Modification of the current value
val bind_with : 'a value -> 'a option -> ('b -> 'c) -> 'b -> 'c
val bind : 'a value -> 'a -> ('b -> 'c) -> 'b -> 'c
Performs the job with local context bound to local value.
val free : 'a value -> ('b -> 'c) -> 'b -> 'c
Performs the job with local context cleared.
val push : 'a value -> 'a -> 'a option
val pop : 'a value -> 'a option -> unit
val once : (unit -> unit) -> unit -> unit
A global configure, executed once.