patrick.sirref.org
1(** GPX validation utilities *)
2
3open Types
4
5(** Validation issue representation *)
6type validation_issue = {
7 level : [`Error | `Warning];
8 message : string;
9 location : string option;
10}
11
12(** Validation result *)
13type validation_result = {
14 issues : validation_issue list;
15 is_valid : bool;
16}
17
18(** Validate a complete GPX document *)
19val validate_gpx : gpx -> validation_result
20
21(** Quick validation - returns true if document is valid *)
22val is_valid : gpx -> bool
23
24(** Get only error messages *)
25val get_errors : gpx -> validation_issue list
26
27(** Get only warning messages *)
28val get_warnings : gpx -> validation_issue list
29
30(** Format validation issue for display *)
31val format_issue : validation_issue -> string