package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Visitors to iterate over Alarms and/or generate Code-Annotations

val annotate : ?flags:Flags.t -> Frama_c_kernel.Cil_types.kernel_function -> unit
type 'a iterator = ?flags:Flags.t -> on_alarm -> Frama_c_kernel.Kernel_function.t -> Frama_c_kernel.Cil_types.stmt -> 'a -> unit