package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-30.0-Zinc.tar.gz

sha256=3ac0f995261ec829a7bd042bf70fc29ac6379029eb9df30bcc044748eb4d2a56

doc/frama-c.kernel/Frama_c_kernel/Cabs_debug/index.html

Module `Frama_c_kernel.Cabs_debug`

val pp_cabsloc : Stdlib.Format.formatter -> Cabs.cabsloc -> unit

val pp_storage : Stdlib.Format.formatter -> Cabs.storage -> unit

val pp_cvspec : Stdlib.Format.formatter -> Cabs.cvspec -> unit

val pp_const : Stdlib.Format.formatter -> Cabs.constant -> unit

val pp_labels : Stdlib.Format.formatter -> string list -> unit

val pp_typeSpecifier : Stdlib.Format.formatter -> Cabs.typeSpecifier -> unit

val pp_spec_elem : Stdlib.Format.formatter -> Cabs.spec_elem -> unit

val pp_spec : Stdlib.Format.formatter -> Cabs.specifier -> unit

val pp_decl_type : Stdlib.Format.formatter -> Cabs.decl_type -> unit

val pp_name_group : Stdlib.Format.formatter -> Cabs.name_group -> unit

val pp_field_group : Stdlib.Format.formatter -> Cabs.field_group -> unit

val pp_field_groups : Stdlib.Format.formatter -> Cabs.field_group list -> unit

val pp_init_name_group : 
  Stdlib.Format.formatter ->
  Cabs.init_name_group ->
  unit

val pp_name : Stdlib.Format.formatter -> Cabs.name -> unit

val pp_init_name : Stdlib.Format.formatter -> Cabs.init_name -> unit

val pp_single_name : Stdlib.Format.formatter -> Cabs.single_name -> unit

val pp_enum_item : Stdlib.Format.formatter -> Cabs.enum_item -> unit

val pp_def : Stdlib.Format.formatter -> Cabs.definition -> unit

val pp_block : Stdlib.Format.formatter -> Cabs.block -> unit

val pp_raw_stmt : Stdlib.Format.formatter -> Cabs.raw_statement -> unit

val pp_stmt : Stdlib.Format.formatter -> Cabs.statement -> unit

val pp_for_clause : Stdlib.Format.formatter -> Cabs.for_clause -> unit

val pp_bin_op : Stdlib.Format.formatter -> Cabs.binary_operator -> unit

val pp_un_op : Stdlib.Format.formatter -> Cabs.unary_operator -> unit

val pp_exp : Stdlib.Format.formatter -> Cabs.expression -> unit

val pp_exp_node : Stdlib.Format.formatter -> Cabs.cabsexp -> unit

val pp_init_exp : Stdlib.Format.formatter -> Cabs.init_expression -> unit

val pp_initwhat : Stdlib.Format.formatter -> Cabs.initwhat -> unit

val pp_attr : Stdlib.Format.formatter -> Cabs.attribute -> unit

val pp_attrs : Stdlib.Format.formatter -> Cabs.attribute list -> unit

val pp_file : Stdlib.Format.formatter -> Cabs.file -> unit