Module Chqcla

module Chqcla: sig .. end

Checker for classifications (.cla)

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

val classifs : int Pervasives.ref

Amount of classifications (it should be >=1).

val examples : int Pervasives.ref

Amount of examples.

val exercises : int Pervasives.ref

Amount of exercises.

val words : int Pervasives.ref

Amount of referenced words.

val refind : int Pervasives.ref

Amount of referenced individuals.

val check_example : (string * string, string) Hashtbl.t ->
       (string, string) Hashtbl.t ->
       string ->
       < 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

Checks the node of an example. Print problems. If an error ocurrs puts a 1 in retval.

he : Hashing table with identifications to detect repeated ids.

elem : Elment <ejemplo>.

val check_question : int Pervasives.ref ->
       < pos_file : string;
         sub_nodes : < data : string; node_type : Markup_document.node_type; .. >
                     list;
         .. > ->
       unit

Checks the node of a question. Print problems. If an error ocurrs puts 1 in retval.

val check_answer : int Pervasives.ref ->
       < pos_file : string;
         sub_nodes : < data : string; node_type : Markup_document.node_type; .. >
                     list;
         .. > ->
       unit

Checks the node of an answer. Print problems. If an error occurrs puts 1 in retval.

val check_exercise : (string * string, string) Hashtbl.t ->
       (string, string) Hashtbl.t ->
       string ->
       < 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 : < data : string;
                                     node_type : Markup_document.node_type; .. >
                                   list;
                       .. >
                     list;
         .. > ->
       unit

Checks the node of an exercise.

hex : Hashing table with type and id.

hexid : Hashing table with id

idcla : Identification of classification

elem : Element ejercicio

val check_son_refmeaning : (string * string, string) Hashtbl.t ->
       (string, string) Hashtbl.t ->
       (string * string, string) Hashtbl.t ->
       string ->
       < 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;
         .. > ->
       unit

Checks the node of a referenced word.

he : Hashing table with identifications of examples already used.

hat : Hasing table with identifications of words already referenced.

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

Checks an element refind, the file of attribute arch must exists

val check_classif : Lrepasa.knownFormats * int option ->
       string ->
       ('a Markup_document.extension Markup_document.node as 'a) list ->
       string list ->
       string ->
       (string * string, string) Hashtbl.t ->
       (string, string) Hashtbl.t ->
       string ->
       (string, string) Hashtbl.t ->
       (< attribute : string -> Markup_types.att_value; data : string;
          node_type : Markup_document.node_type; pos_file : string;
          sub_nodes : 'b list; .. >
        as 'b) ->
       unit

Checks an element <clasif>.

format : of the descriptions, pair of type (KnownFormats) and optional length.

dname : Default name of definitions.

defs : Default tree of definitions.

hiertypes : Order of types.

parent_type : Type of the parent classification.

hc : Hashing table with existing type,identifications of classif.

hi : Hashing table with existing references to individuals.

idpar : identification of parent classification

hidcla : Hashing table with existing identifications of classifications.

elem : Element <clasif>.

val check_classification : string ->
       Lrepasa.knownFormats * int option ->
       string ->
       ('a Markup_document.extension Markup_document.node as 'a) list ->
       string list ->
       (< attribute : string -> Markup_types.att_value; data : string;
          node_type : Markup_document.node_type; pos_file : string;
          sub_nodes : 'b list; .. >
        as 'b)
       list -> unit

Checks the node <clasificacion>.

val check_cla : string ->
       string ->
       < root : < 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 : 'a list; .. >
                               as 'a)
                              list;
                  .. >;
         .. > ->
       unit

Checks an XML with a classification (clasif.dtd).