module Cil_printer:sig
..end
Internal Cil printer.
Must not be used by plug-in developers: use module Printer
instead.
In particular, this pretty-printer is incorrect regarding annotations.
It should only be used by modules linked before Annotations
.
include Printer_api.S
val get_termination_kind_name : Cil_types.termination_kind -> string
val register_shallow_attribute : string -> unit
Register an attribute that will never be pretty printed.
val register_behavior_extension : string ->
(Printer_api.extensible_printer_type ->
Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit) ->
unit
Register a pretty-printer used for behavior extension.
val register_global_extension : string ->
(Printer_api.extensible_printer_type ->
Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit) ->
unit
Register a pretty-printer used for behavior extension.
val register_code_annot_extension : string ->
(Printer_api.extensible_printer_type ->
Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit) ->
unit
Register a pretty-printer used for behavior extension.
val register_loop_annot_extension : string ->
(Printer_api.extensible_printer_type ->
Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit) ->
unit
Register a pretty-printer used for behavior extension.
val state : Printer_api.state
val print_global : Cil_types.global -> bool
Is the given global displayed by the pretty-printer.