Kernel_ast.Printer
include Frama_c_kernel.Printer_api.S_pp
val pp_location :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.location ->
unit
val pp_constant :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.constant ->
unit
val pp_storage :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.storage ->
unit
val pp_ikind :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.ikind ->
unit
val pp_fkind :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.fkind ->
unit
val pp_typ : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.typ -> unit
val pp_exp : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.exp -> unit
val pp_vdecl :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.varinfo ->
unit
val pp_varinfo :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.varinfo ->
unit
val pp_lval : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.lval -> unit
val pp_field :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.fieldinfo ->
unit
val pp_offset :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.offset ->
unit
val pp_init : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.init -> unit
val pp_binop :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.binop ->
unit
val pp_unop : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.unop -> unit
val pp_attribute :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.attribute ->
unit
val pp_attrparam :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.attrparam ->
unit
val pp_attributes :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.attributes ->
unit
val pp_instr :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.instr ->
unit
val pp_label :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.label ->
unit
val pp_stmt : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.stmt -> unit
val pp_block :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.block ->
unit
val pp_global :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.global ->
unit
val pp_file : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.file -> unit
val pp_compinfo :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.compinfo ->
unit
val pp_logic_type_info :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_type_info ->
unit
val pp_logic_ctor_info :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_ctor_info ->
unit
val pp_initinfo :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.initinfo ->
unit
val pp_logic_info :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_info ->
unit
val pp_logic_constant :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_constant ->
unit
val pp_fundec :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.fundec ->
unit
val pp_relation :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.relation ->
unit
val pp_model_info :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.model_info ->
unit
val pp_term_lval :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.term_lval ->
unit
val pp_term_lhost :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.term_lhost ->
unit
val pp_logic_var :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_var ->
unit
val pp_logic_type :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_type ->
unit
val pp_identified_term :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.identified_term ->
unit
val pp_term : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.term -> unit
val pp_model_field :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.model_info ->
unit
val pp_term_offset :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.term_offset ->
unit
val pp_logic_builtin_label :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_builtin_label ->
unit
val pp_logic_label :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.logic_label ->
unit
val pp_builtin_logic_info :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.builtin_logic_info ->
unit
val pp_extended :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.acsl_extension ->
unit
val pp_short_extended :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.acsl_extension ->
unit
val pp_predicate_node :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.predicate_node ->
unit
val pp_predicate :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.predicate ->
unit
val pp_toplevel_predicate :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.toplevel_predicate ->
unit
val pp_identified_predicate :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.identified_predicate ->
unit
val pp_code_annotation :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.code_annotation ->
unit
val pp_funspec :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.funspec ->
unit
val pp_behavior :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.funbehavior ->
unit
val pp_global_annotation :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.global_annotation ->
unit
val pp_decreases :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.variant ->
unit
val pp_variant :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.variant ->
unit
val pp_from : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.from -> unit
val pp_assigns :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.assigns ->
unit
val pp_allocation :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.allocation ->
unit
val pp_loop_from :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.from ->
unit
val pp_loop_assigns :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.assigns ->
unit
val pp_loop_allocation :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.allocation ->
unit
val pp_post_cond :
Stdlib.Format.formatter ->
(Frama_c_kernel.Cil_types.termination_kind
* Frama_c_kernel.Cil_types.identified_predicate) ->
unit
val pp_full_assigns :
string ->
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.assigns ->
unit
first parameter is the introducing keyword (e.g. loop_assigns or assigns).
val with_unfold_precond :
(Frama_c_kernel.Cil_types.stmt -> bool) ->
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a ->
unit