Module Collect

module Collect: sig .. end

type 'a alarm_component = Emitter.t ->
Cil_types.kernel_function ->
Cil_types.stmt ->
rank:int -> Alarms.alarm -> Cil_types.code_annotation -> 'a -> 'a
type env 
type annoth = 
| AnnotAll
| AnnotInout
val empty_env : annoth -> env
val get_relevant : env alarm_component
val should_annotate_stmt : env -> Cil_types.stmt -> bool
val get_relevant_vars_stmt : env ->
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval list