Module Chqsec

module Chqsec: sig .. end

Checker for sequences.

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 sequences : int Pervasives.ref

Amount of sequences (it should be >=1)

val classifs : int Pervasives.ref

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

val check_elem_classif : 'a -> 'b -> 'c -> 'd list

Checks a son node of a classification node.

val check_refclassif_son : (string * string, string) Hashtbl.t ->
       'a ->
       'b ->
       string ->
       < attribute : string -> Markup_types.att_value; pos_file : string; .. > ->
       'c list

Checks sons of a refcla.

hat : Hashing table of identifications of annotations.

idc : Id of referenced classification

lres : Partially computed value to return.

nelem : Name of element.

elem : Element.

val check_seq : Lrepasa.knownFormats * int option ->
       int * int * int Pervasives.ref ->
       string list ->
       string ->
       ('a Markup_document.extension Markup_document.node as 'a) list ->
       string ->
       (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 <sec>.

format : pair with fomat (KnownFormat) and optional length.

(startpar,endpar,prevend) : prevend : references end date of previous sequence with dates or -1 if not specified
endpar : along with startpar specify beginning and end of dates range of parent sequence as number of days since 1,Jan,1970 or -1 if not specified

htypes : Order of types.

dname : Name of file with default classification.

dclassif : Structure with default classifications or []

hseq : Hashing table with identifications of sequences.

elem : Markup node with <sec>.

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

Checks that between the classifications referenced in a sequence there are not repeated classification or subclassifications.

ls : List of subnodes of a sequence

val check_sequence : string ->
       Lrepasa.knownFormats * int option ->
       string list ->
       string ->
       ('a Markup_document.extension Markup_document.node as 'a) 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

check_sequence full_name format htypes dname dclassif l checks the nodes of a sequence file. full_name is the name with path, format the format of the file, htype the hierarchy of typs, dname the name of the defaul classification file and dclassif the corresponding tree. l is the list of elements sons of the root element.

val check_seqfile : 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

check_seqfile name full_name seq Checks an XML with a sequence (sec.dtd). name is the name given in command line, full_name the name with path, seq the markup tree.