Module Generator

module Generator: sig .. end

module type S = sig .. end
module Initialized: S 
module Mem_access: S 
module Pointer_value: S 
module Pointer_call: S 
module Div_mod: S 
module Shift: S 
module Left_shift_negative: S 
module Right_shift_negative: S 
module Signed_overflow: S 
module Signed_downcast: S 
module Unsigned_overflow: S 
module Unsigned_downcast: S 
module Pointer_downcast: S 
module Float_to_int: S 
module Finite_float: S 
module Bool_value: S 
val all_statuses : Db.RteGen.status_accessor list
val emitter : Emitter.t

The Emitter for Annotations registered by RTE

val get_registered_annotations : Cil_types.stmt -> Cil_types.code_annotation list

Returns all annotations actually registered by RTE so far