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