Frama-C:
Plug-ins:
Libraries:

Frama-C API - Format_typer

exception Type_not_found of string
exception Invalid_specifier
type arg_dir = [
  1. | `ArgIn
  2. | `ArgInArray of Format_types.precision option
  3. | `ArgOut
  4. | `ArgOutArray
]
type typdef_finder = Logic_typing.type_namespace -> string -> Cil_types.typ
val type_f_specifier : ?find_typedef:typdef_finder -> Format_types.f_conversion_specification -> Cil_types.typ
val type_s_specifier : ?find_typedef:typdef_finder -> Format_types.s_conversion_specification -> Cil_types.typ
val type_f_format : ?find_typedef:typdef_finder -> Format_types.f_format -> (Cil_types.typ * arg_dir) list
val type_s_format : ?find_typedef:typdef_finder -> Format_types.s_format -> (Cil_types.typ * arg_dir) list
val type_format : ?find_typedef:typdef_finder -> Format_types.format -> (Cil_types.typ * arg_dir) list