Module Chqdef

module Chqdef: sig .. end

Checker for a file with definitions (.def)

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 words (it should be >=1)

val despistes : int Pervasives.ref

Amount of despistes

val pistas : int Pervasives.ref

Amount of hints

val meanings : int Pervasives.ref

Amount of meanings (it should be >=1)

type elem_pcanot =

`\|`	`ChPista`
`\|`	`ChDespista`

Elements that have (#PCDAT | anot) in the DTD

val check_despiste_pista : elem_pcanot ->
       Lrepasa.knownFormats * int option ->
       string * string ->
       (string * string * string, string) Hashtbl.t ->
       < 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;
         .. > ->
       unit

check_despiste_pista which format (id_word,id_m) hdesp elem checks the element <despiste> or <pista> elem in a meaning id_word, id_m accumulating despistes/pistas of the same meaning in hdesp. Verifies text format that should be format. If which is "despiste" checks despiste, otherwise it checks "pista"

val check_sig : Lrepasa.knownFormats * int option ->
       string ->
       (string, string) Hashtbl.t ->
       string Pervasives.ref ->
       < attribute : string -> Markup_types.att_value; 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;
         .. > ->
       unit

check_sig format id_word hsig lastidm elem checks the element <sig> elem in a word id_word accumulating identifiers of <sig> elements in hsig. Verifies text format that should be format. Fills lastidm with meaning identification.

format : pair with type of format (KnownFormat) and optional length.

id_word : Word

hsig : hashing table with identifications of meaninngs.

lastidm : Last identifier of meaning

elem : Element <sig>.

val check_word : Lrepasa.knownFormats * int option ->
       (string, string) Hashtbl.t ->
       (string, string) Hashtbl.t ->
       < attribute : string -> Markup_types.att_value; pos_file : string;
         sub_nodes : < attribute : string -> Markup_types.att_value; data : 
                       string; 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_word format hw elem Checks an element <pal> elem. Accumulates word's identifiers in hw. Verifies format of texts that must be format.

format : pair with type of format (KnownFormat) and optional length.

hw : Hashing table with exisint ids.

elem : Element <pal>

val check_defroot : string ->
       Lrepasa.knownFormats * int option ->
       < 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 : < 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;
         .. >
       list -> unit

Checks the nodes of a definiton file.

format : pair with type of format (KnownFormat) and optional length.

l : Markup forest.

val check_def : 'a ->
       string ->
       < root : < attribute : string -> Markup_types.att_value; pos_file : string;
                  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 : < 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;
                                .. >
                              list;
                  .. >;
         .. > ->
       unit

Checks an XML with definitions (def.dtd).