package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

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.