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 = 

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