Commit 136fe8f6 authored by Pietro Abate's avatar Pietro Abate

[r2005-04-21 13:25:34 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-21 13:25:35+00:00
parent 9dc65caf
...@@ -56,6 +56,18 @@ let mk_table = ...@@ -56,6 +56,18 @@ let mk_table =
(fun table (pr,ns) -> Table.add pr (mk ns) table) (fun table (pr,ns) -> Table.add pr (mk ns) table)
empty_table empty_table
let get_table_ns table =
Table.fold (fun prefix ns r ->
let std =
try equal (Table.find prefix empty_table) ns
with Not_found -> false in
if std then r else (prefix,ns)::r) table []
let mk_table_ns =
List.fold_left
(fun table (pr,ns) -> Table.add pr ns table)
empty_table
let ser_prop = let ser_prop =
Serialize.Put.mk_property (fun t -> (ref 0, TableHash.create 17)) Serialize.Put.mk_property (fun t -> (ref 0, TableHash.create 17))
......
...@@ -32,6 +32,9 @@ val dump_table: Format.formatter -> table -> unit ...@@ -32,6 +32,9 @@ val dump_table: Format.formatter -> table -> unit
val get_table: table -> (Utf8.t * Utf8.t) list val get_table: table -> (Utf8.t * Utf8.t) list
val mk_table: (Utf8.t * Utf8.t) list -> table val mk_table: (Utf8.t * Utf8.t) list -> table
val get_table_ns: table -> (Utf8.t * t) list
val mk_table_ns: (Utf8.t * t) list -> table
val process_start_tag: val process_start_tag:
table -> string -> (string * string) list -> table -> string -> (string * string) list ->
table * qname * (qname * Utf8.t) list table * qname * (qname * Utf8.t) list
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment