Module Ast_printer


module Ast_printer: sig .. end
Default printers of Frama-C. Initialized with Cil default printers, and updated by the Printer module.
Consult the Plugin Development Guide for additional details.

val d_binop : (Format.formatter -> Cil_types.binop -> unit) Pervasives.ref
Pretty prints a binary operator
val d_relation : (Format.formatter -> Cil_types.relation -> unit) Pervasives.ref
Pretty prints a binary relation
val d_ident : (Format.formatter -> string -> unit) Pervasives.ref
Pretty prints an identifier
val d_exp : (Format.formatter -> Cil_types.exp -> unit) Pervasives.ref
Pretty-print an expression using Printer.default_printer
val d_var : (Format.formatter -> Cil_types.varinfo -> unit) Pervasives.ref
val d_type : (Format.formatter -> Cil_types.typ -> unit) Pervasives.ref
val d_lval : (Format.formatter -> Cil_types.lval -> unit) Pervasives.ref
Pretty-print an lvalue using Printer.default_printer
val d_offset : (Format.formatter -> Cil_types.offset -> unit) Pervasives.ref
Pretty-print an offset using Printer.default_printer, given the pretty printing for the base.
val d_init : (Format.formatter -> Cil_types.init -> unit) Pervasives.ref
Pretty-print an initializer using Printer.default_printer. This can be extremely slow (or even overflow the stack) for huge initializers.
val d_attr : (Format.formatter -> Cil_types.attribute -> unit) Pervasives.ref
Pretty-print an attribute using Printer.default_printer
val d_attrparam : (Format.formatter -> Cil_types.attrparam -> unit) Pervasives.ref
Pretty-print an argument of an attribute using Printer.default_printer
val d_attrlist : (Format.formatter -> Cil_types.attributes -> unit) Pervasives.ref
Pretty-print a list of attributes using Printer.default_printer
val d_instr : (Format.formatter -> Cil_types.instr -> unit) Pervasives.ref
Pretty-print an instruction using Printer.default_printer
val d_label : (Format.formatter -> Cil_types.label -> unit) Pervasives.ref
Pretty-print a label using Printer.default_printer
val d_stmt : (Format.formatter -> Cil_types.stmt -> unit) Pervasives.ref
Pretty-print a statement using Printer.default_printer. This can be extremely slow (or even overflow the stack) for huge statements.
val d_block : (Format.formatter -> Cil_types.block -> unit) Pervasives.ref
Pretty-print a block using Printer.default_printer. This can be extremely slow (or even overflow the stack) for huge blocks.
val d_global : (Format.formatter -> Cil_types.global -> unit) Pervasives.ref
Pretty-print the internal representation of a global using Printer.default_printer. This can be extremely slow (or even overflow the stack) for huge globals (such as arrays with lots of initializers).
val d_term_lval : (Format.formatter -> Cil_types.term_lval -> unit) Pervasives.ref
val d_logic_var : (Format.formatter -> Cil_types.logic_var -> unit) Pervasives.ref
val d_logic_type : (Format.formatter -> Cil_types.logic_type -> unit) Pervasives.ref
val d_term : (Format.formatter -> Cil_types.term -> unit) Pervasives.ref
val d_term_offset : (Format.formatter -> Cil_types.term_offset -> unit) Pervasives.ref
val d_predicate_named : (Format.formatter -> Cil_types.predicate Cil_types.named -> unit)
Pervasives.ref
val d_code_annotation : (Format.formatter -> Cil_types.code_annotation -> unit) Pervasives.ref
val d_rooted_code_annotation : (Format.formatter -> Cil_types.rooted_code_annotation -> unit) Pervasives.ref
val d_funspec : (Format.formatter -> Cil_types.funspec -> unit) Pervasives.ref
val d_annotation : (Format.formatter -> Cil_types.global_annotation -> unit) Pervasives.ref
val d_file : (Format.formatter -> Cil_types.file -> unit) Pervasives.ref