Plasma GitLab Archive
Projects Blog Knowledge

sig
  exception ID_not_unique
  class type ['a] index =
    object
      constraint 'a = 'Pxp_document.node #Pxp_document.extension
      method add : string -> 'Pxp_document.node -> unit
      method find : string -> 'Pxp_document.node
    end
  class ['a] hash_index :
    object
      constraint 'a = 'Pxp_document.node #Pxp_document.extension
      method add : string -> 'Pxp_document.node -> unit
      method find : string -> 'Pxp_document.node
      method index : (string, 'Pxp_document.node) Hashtbl.t
    end
  val parse_document_entity :
    ?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
    ?id_index:('Pxp_document.node #Pxp_document.extension as 'a)
              Pxp_tree_parser.index ->
    Pxp_types.config ->
    Pxp_types.source -> 'Pxp_document.spec -> 'Pxp_document.document
  val parse_wfdocument_entity :
    ?transform_dtd:(Pxp_dtd.dtd -> Pxp_dtd.dtd) ->
    Pxp_types.config ->
    Pxp_types.source ->
    ('Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.spec ->
    'Pxp_document.document
  val parse_content_entity :
    ?id_index:('Pxp_document.node #Pxp_document.extension as 'a)
              Pxp_tree_parser.index ->
    Pxp_types.config ->
    Pxp_types.source ->
    Pxp_dtd.dtd -> 'Pxp_document.spec -> 'Pxp_document.node
  val parse_wfcontent_entity :
    Pxp_types.config ->
    Pxp_types.source ->
    ('Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.spec ->
    'Pxp_document.node
  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
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml