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

type t = Analyses_types.lscope

module D : Frama_c_kernel.Datatype.S with type t = Analyses_types.lscope

val empty : t

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

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

returns
a new logic scope in which the given lscope_var has been removed if it was present. Use physical equality to check if the lscope_var is present.

val get_all : t -> Analyses_types.lscope_var list

val is_used : t -> Analyses_types.pred_or_term -> bool