Docs GODI Archive
Projects Blog Knowledge

Look up function:

(e.g. "List.find" or "keysym")
More options
sig
  type config =
    Pxp_types.config = {
    warner : Pxp_types.collect_warnings;
    swarner : Pxp_types.symbolic_warnings option;
    enable_pinstr_nodes : bool;
    enable_comment_nodes : bool;
    enable_super_root_node : bool;
    drop_ignorable_whitespace : bool;
    encoding : Pxp_types.rep_encoding;
    recognize_standalone_declaration : bool;
    store_element_positions : bool;
    idref_pass : bool;
    validate_by_dfa : bool;
    accept_only_deterministic_models : bool;
    disable_content_validation : bool;
    name_pool : Pxp_core_types.I.pool;
    enable_name_pool_for_element_types : bool;
    enable_name_pool_for_attribute_names : bool;
    enable_name_pool_for_attribute_values : bool;
    enable_name_pool_for_pinstr_targets : bool;
    enable_namespace_processing : Pxp_dtd.namespace_manager option;
    escape_contents :
      (Pxp_lexer_types.token -> Pxp_entity_manager.entity_manager -> string)
      option;
    escape_attributes :
      (Pxp_lexer_types.token ->
       int -> Pxp_entity_manager.entity_manager -> string)
      option;
    debugging_mode : bool;
  }
  val default_config : Pxp_yacc.config
  val default_namespace_config : Pxp_yacc.config
  type source =
    Pxp_types.source =
      Entity of ((Pxp_dtd.dtd -> Pxp_entity.entity) * Pxp_reader.resolver)
    | ExtID of (Pxp_types.ext_id * Pxp_reader.resolver)
    | XExtID of (Pxp_types.ext_id * string option * Pxp_reader.resolver)
  val from_channel :
    ?alt:Pxp_reader.resolver list ->
    ?system_id:string ->
    ?fixenc:Pxp_types.encoding ->
    ?id:Pxp_types.ext_id ->
    ?system_encoding:Pxp_types.encoding ->
    Pervasives.in_channel -> Pxp_yacc.source
  val from_string :
    ?alt:Pxp_reader.resolver list ->
    ?system_id:string ->
    ?fixenc:Pxp_types.encoding -> string -> Pxp_yacc.source
  val from_obj_channel :
    ?alt:Pxp_reader.resolver list ->
    ?system_id:string ->
    ?fixenc:Pxp_types.encoding ->
    ?id:Pxp_types.ext_id ->
    ?system_encoding:Pxp_types.encoding ->
    Netchannels.in_obj_channel -> Pxp_yacc.source
  val from_file :
    ?alt:Pxp_reader.resolver list ->
    ?system_encoding:Pxp_types.encoding ->
    ?enc:Pxp_types.encoding -> string -> Pxp_yacc.source
  exception ID_not_unique
  class type ['a] index =
    object
      constraint 'a =
        < clone : 'a; node : 'Pxp_document.node;
          set_node : 'Pxp_document.node -> unit; .. >
      method add : string -> 'Pxp_document.node -> unit
      method find : string -> 'Pxp_document.node
    end
  class ['a] hash_index :
    object
      constraint 'a =
        < clone : 'a; node : 'Pxp_document.node;
          set_node : 'Pxp_document.node -> unit; .. >
      method add : string -> 'Pxp_document.node -> unit
      method find : string -> 'Pxp_document.node
      method index : (string, 'Pxp_document.node) Hashtbl.t
    end
  val default_extension : 'Pxp_document.node Pxp_document.extension as 'a
  val default_spec :
    ('Pxp_document.node Pxp_document.extension as 'a) Pxp_document.spec
  val default_namespace_spec :
    ('Pxp_document.node Pxp_document.extension as 'a) Pxp_document.spec
  val parse_document_entity :
    ?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
    ?id_index:(< clone : 'a; node : 'Pxp_document.node;
                 set_node : 'Pxp_document.node -> unit; .. >
               as 'a)
              Pxp_yacc.index ->
    Pxp_yacc.config ->
    Pxp_yacc.source -> 'Pxp_document.spec -> 'Pxp_document.document
  val parse_wfdocument_entity :
    ?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
    Pxp_yacc.config ->
    Pxp_yacc.source ->
    (< clone : 'a; node : 'Pxp_document.node;
       set_node : 'Pxp_document.node -> unit; .. >
     as 'a)
    Pxp_document.spec -> 'Pxp_document.document
  val parse_content_entity :
    ?id_index:(< clone : 'a; node : 'Pxp_document.node;
                 set_node : 'Pxp_document.node -> unit; .. >
               as 'a)
              Pxp_yacc.index ->
    Pxp_yacc.config ->
    Pxp_yacc.source ->
    Pxp_dtd.dtd -> 'Pxp_document.spec -> 'Pxp_document.node
  val parse_wfcontent_entity :
    Pxp_yacc.config ->
    Pxp_yacc.source ->
    (< clone : 'a; node : 'Pxp_document.node;
       set_node : 'Pxp_document.node -> unit; .. >
     as 'a)
    Pxp_document.spec -> 'Pxp_document.node
  val parse_dtd_entity : Pxp_yacc.config -> Pxp_yacc.source -> Pxp_dtd.dtd
  val extract_dtd_from_document_entity :
    Pxp_yacc.config -> Pxp_yacc.source -> Pxp_dtd.dtd
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml