Module Generator

module Generator: sig .. end
The Emitter for Annotations registered by RTE

DO NOT CALL Make AFTER THIS POINT


module type S = sig .. end
module Initialized: S 
module Mem_access: 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 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