Module Chqprd

module Chqprd: sig .. end

Checker for progress in definitions (.prd)

This source is released to the public domain since 2001. No warranty. Citation of the project Structio and the following URL is appreciated. http://structio.sourceforge.net/repasa

val words : int Pervasives.ref

Amount of referenced words

val prog : int Pervasives.ref

Amount of progresses registered

val check_prog : int Pervasives.ref ->
       (int * int * int, string) Hashtbl.t ->
       < attribute : string -> Markup_types.att_value; pos_file : string; .. > ->
       unit

check_prog retval hf elem Checks an element <prog> that comes in elem.

retval : Value to return to OS.

hf : Hashing table with used dates.

elem : element <prog>.

val check_son_prog : (int * int * int, string) Hashtbl.t ->
       (string * string, string) Hashtbl.t ->
       < attribute : string -> Markup_types.att_value;
         node_type : Markup_document.node_type; pos_file : string;
         sub_nodes : < data : string; node_type : Markup_document.node_type; .. >
                     list;
         .. > ->
       unit

check_son_prgo hf hat elem Checks the sons of a referenced word.

hf : Hashing table with progress

hat : Hashing table for annotations

elem : Element son of <progsig>

val check_progress : string ->
       string ->
       ('a Markup_document.extension Markup_document.node as 'a) list ->
       < attribute : string -> Markup_types.att_value;
         node_type : Markup_document.node_type; pos_file : string;
         sub_nodes : < attribute : string -> Markup_types.att_value; data : 
                       string; node_type : Markup_document.node_type;
                       pos_file : string;
                       sub_nodes : < data : string;
                                     node_type : Markup_document.node_type; .. >
                                   list;
                       .. >
                     list;
         .. >
       list -> unit

check_progress full_name dname defs l checks the nodes of a progress file.

full_name : Complete name of file checked.

dname : name of default definitions file.

defs : default definitions.

l : markup forest with progress.

val check_prdef : string ->
       string ->
       < root : < sub_nodes : < attribute : string -> Markup_types.att_value;
                                node_type : Markup_document.node_type;
                                pos_file : string;
                                sub_nodes : < attribute : string ->
                                                          Markup_types.att_value;
                                              data : string;
                                              node_type : Markup_document.node_type;
                                              pos_file : string;
                                              sub_nodes : < data : string;
                                                            node_type : Markup_document.node_type;
                                                            .. >
                                                          list;
                                              .. >
                                            list;
                                .. >
                              list;
                  .. >;
         .. > ->
       unit

check_prdef name full_name l Checks an XML with progress in definitions (prdef.dtd). name is the name of the file to check, full_name includes the path, l is the ast read by markup.