Module Mpp_initSource

Sourceexception Exit of int
Sourceval exit : int -> 'a
Sourceval open_token : string ref
Sourceval close_token : string ref
Sourceval open_nesting_token : string ref
Sourceval close_nesting_token : string ref
Sourceval endline_comments_token : string ref
Sourceval open_comments_token : string ref
Sourceval close_comments_token : string ref
Sourceval open_foreign_token : string ref
Sourceval open_foreign_token_no_location : string ref
Sourceval close_foreign_token : string ref
Sourceval target_language_location_handler : (?filename:string -> int -> string) ref
Sourceval cpp_location_handler : ?filename:string -> int -> string
Sourceval target_language_location_handlers : (string * (?filename:string -> int -> string)) list
Sourceval list_target : unit -> 'a
Sourceval set_target_language_location_handler : string -> unit
Sourceval newline_chars : Mpp_charset.t
Sourceval space_chars : Mpp_charset.t
Sourceval blank_chars : Mpp_charset.t
Sourcetype foreign_block_description = {
  1. name : string;
  2. command : string;
  3. suffix : string;
  4. print : string -> string;
  5. char_escape : char -> string;
  6. string_escape : string -> string;
  7. force_line_number : ?filename:string -> int -> string;
}

foreign blocks

Sourceval bash_string_escape : string -> string
Sourceval php_string_escape : string -> string
Sourceval perl_string_escape : string -> string
Sourceval foreign_blocks : foreign_block_description list
Sourceval default_foreign_block : foreign_block_description
Sourceval set_foreign : string -> unit
Sourceval list_foreign : unit -> 'a