Frama-C:
Plug-ins:
Libraries:

Frama-C API - Logic_scope

val get : t -> Lscope.t

Return the logic scope associated to the environment.

val extend : t -> Analyses_types.lscope_var -> t

Add a new logic variable with its associated information in the logic scope of the environment.

val remove : t -> Analyses_types.lscope_var -> t

Remove a logic variable and its associated information from the logic scope of the environment.

val reset : t -> t

Return a new environment in which the logic scope is reset iff set_reset _ true has been called beforehand. Do nothing otherwise.

val set_reset : t -> bool -> t

Setter of the information indicating whether the logic scope should be reset at next call to reset.

val get_reset : t -> bool

Getter of the information indicating whether the logic scope should be reset at next call to reset.