package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mopsa_c_parser.Formatted_io_placeholderSource

Types corresponding to placeholders of format strings

Sourcetype placeholder_type =
  1. | Int of C_AST.integer_type
  2. | Float of C_AST.float_type
  3. | Pointer
  4. | String
  5. | WideString

C type of a placeholder

Sourceval pp_placeholder_type : Format.formatter -> placeholder_type -> unit
Sourcetype output_placeholder = {
  1. op_width : int option;
  2. op_precision : int option;
  3. op_typ : placeholder_type;
}

Placeholder for output streams, e.g. printf

Sourceval pp_output_placeholder : Format.formatter -> output_placeholder -> unit
Sourcetype output_format =
  1. | String of string
  2. | Placeholder of output_placeholder
Sourcetype input_placeholder = {
  1. ip_width : int option;
  2. ip_typ : placeholder_type;
}

Placeholder for input streams, e.g. scanf

Sourceval pp_input_placeholder : Format.formatter -> input_placeholder -> unit