Frama-C:
Plug-ins:
Libraries:

Frama-C API - Cil_types_debug

val pp_option : 'a Pretty_utils.formatter -> 'a option Pretty_utils.formatter
val pp_ref : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Stdlib.ref -> unit
val pp_tuple3 : ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 -> ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 -> ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 -> (Stdlib.Format.formatter -> 'm -> unit) -> (Stdlib.Format.formatter -> 'n -> unit) -> (Stdlib.Format.formatter -> 'o -> unit) -> Stdlib.Format.formatter -> ('m * 'n * 'o) -> unit
val pp_tuple4 : ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 -> ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 -> ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 -> (Stdlib.Format.formatter -> 'm -> unit) -> (Stdlib.Format.formatter -> 'n -> unit) -> (Stdlib.Format.formatter -> 'o -> unit) -> (Stdlib.Format.formatter -> 'p -> unit) -> Stdlib.Format.formatter -> ('m * 'n * 'o * 'p) -> unit
val pp_tuple5 : ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 -> ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 -> ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 -> (Stdlib.Format.formatter -> 'm -> unit) -> (Stdlib.Format.formatter -> 'n -> unit) -> (Stdlib.Format.formatter -> 'o -> unit) -> (Stdlib.Format.formatter -> 'p -> unit) -> (Stdlib.Format.formatter -> 'q -> unit) -> Stdlib.Format.formatter -> ('m * 'n * 'o * 'p * 'q) -> unit
val pp_integer : Stdlib.Format.formatter -> Z.t -> unit
val pp_int64 : Stdlib.Format.formatter -> int64 -> unit
val pp_string : Stdlib.Format.formatter -> string -> unit
val pp_bool : Stdlib.Format.formatter -> bool -> unit
val pp_int : Stdlib.Format.formatter -> int -> unit
val pp_char : Stdlib.Format.formatter -> char -> unit
val pp_float : Stdlib.Format.formatter -> float -> unit
val pp_allocation : Stdlib.Format.formatter -> Cil_types.allocation -> unit
val pp_deps : Stdlib.Format.formatter -> Cil_types.deps -> unit
val pp_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit
val pp_file : Stdlib.Format.formatter -> Cil_types.file -> unit
val pp_global : Stdlib.Format.formatter -> Cil_types.global -> unit
val pp_ikind : Stdlib.Format.formatter -> Cil_types.ikind -> unit
val pp_fkind : Stdlib.Format.formatter -> Cil_types.fkind -> unit
val pp_attributes : Stdlib.Format.formatter -> Cil_types.attributes -> unit
val pp_compinfo : Stdlib.Format.formatter -> Cil_types.compinfo -> unit
val pp_fieldinfo : Stdlib.Format.formatter -> Cil_types.fieldinfo -> unit
val pp_enuminfo : Stdlib.Format.formatter -> Cil_types.enuminfo -> unit
val pp_enumitem : Stdlib.Format.formatter -> Cil_types.enumitem -> unit
val pp_typeinfo : Stdlib.Format.formatter -> Cil_types.typeinfo -> unit
val pp_storage : Stdlib.Format.formatter -> Cil_types.storage -> unit
val pp_exp_node : Stdlib.Format.formatter -> Cil_types.exp_node -> unit
val pp_constant : Stdlib.Format.formatter -> Cil_types.constant -> unit
val pp_unop : Stdlib.Format.formatter -> Cil_types.unop -> unit
val pp_binop : Stdlib.Format.formatter -> Cil_types.binop -> unit
val pp_initinfo : Stdlib.Format.formatter -> Cil_types.initinfo -> unit
val pp_fundec : Stdlib.Format.formatter -> Cil_types.fundec -> unit
val pp_label : Stdlib.Format.formatter -> Cil_types.label -> unit
val pp_stmtkind : Stdlib.Format.formatter -> Cil_types.stmtkind -> unit
val pp_filepath_position : Stdlib.Format.formatter -> Filepath.position -> unit
val pp_lexing_position : Stdlib.Format.formatter -> Stdlib.Lexing.position -> unit
val pp_location : Stdlib.Format.formatter -> Cil_types.location -> unit
val pp_logic_constant : Stdlib.Format.formatter -> Cil_types.logic_constant -> unit
val pp_logic_real : Stdlib.Format.formatter -> Cil_types.logic_real -> unit
val pp_term_node : Stdlib.Format.formatter -> Cil_types.term_node -> unit
val pp_term_lval : Stdlib.Format.formatter -> Cil_types.term_lval -> unit
val pp_model_info : Stdlib.Format.formatter -> Cil_types.model_info -> unit
val pp_logic_info : Stdlib.Format.formatter -> Cil_types.logic_info -> unit
val pp_builtin_logic_info : Stdlib.Format.formatter -> Cil_types.builtin_logic_info -> unit
val pp_logic_body : Stdlib.Format.formatter -> Cil_types.logic_body -> unit
val pp_logic_type_info : Stdlib.Format.formatter -> Cil_types.logic_type_info -> unit
val pp_logic_type_def : Stdlib.Format.formatter -> Cil_types.logic_type_def -> unit
val pp_logic_var_kind : Stdlib.Format.formatter -> Cil_types.logic_var_kind -> unit
val pp_quantifiers : Stdlib.Format.formatter -> Cil_types.quantifiers -> unit
val pp_relation : Stdlib.Format.formatter -> Cil_types.relation -> unit
val pp_predicate_node : Stdlib.Format.formatter -> Cil_types.predicate_node -> unit
val pp_identified_predicate : Stdlib.Format.formatter -> Cil_types.identified_predicate -> unit
val pp_toplevel_predicate : Stdlib.Format.formatter -> Cil_types.toplevel_predicate -> unit
val pp_spec : Stdlib.Format.formatter -> Cil_types.spec -> unit
val pp_acsl_extension : Stdlib.Format.formatter -> Cil_types.acsl_extension -> unit
val pp_acsl_extension_kind : Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit
val pp_behavior : Stdlib.Format.formatter -> Cil_types.behavior -> unit
val pp_termination_kind : Stdlib.Format.formatter -> Cil_types.termination_kind -> unit
val pp_code_annotation_node : Stdlib.Format.formatter -> Cil_types.code_annotation_node -> unit
val pp_funspec : Stdlib.Format.formatter -> Cil_types.funspec -> unit
val pp_funbehavior : Stdlib.Format.formatter -> Cil_types.funbehavior -> unit
val pp_kinstr : Stdlib.Format.formatter -> Cil_types.kinstr -> unit
val pp_cil_function : Stdlib.Format.formatter -> Cil_types.cil_function -> unit
val pp_kernel_function : Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
val pp_syntactic_scope : Stdlib.Format.formatter -> Cil_types.syntactic_scope -> unit