| 1 |
|
|
| 2 |
(* XML Schema validator *) |
(* XML Schema validator *) |
| 3 |
|
|
| 4 |
open Printf ;; |
open Printf |
| 5 |
open Pxp_document ;; |
open Pxp_document |
| 6 |
open Schema_types ;; |
open Schema_types |
| 7 |
|
|
| 8 |
let die_usage () = |
let die_usage () = |
| 9 |
prerr_endline |
prerr_endline |
| 10 |
"Usage: validate <schema_document> [ <instance_document> ... ]"; |
"Usage: validate <schema_document> [ <instance_document> ... ]"; |
| 11 |
exit 1 |
exit 1 |
|
;; |
|
| 12 |
|
|
| 13 |
let schema_file = try Sys.argv.(1) with Invalid_argument _ -> die_usage () ;; |
let schema_file = try Sys.argv.(1) with Invalid_argument _ -> die_usage () |
| 14 |
|
|
| 15 |
let main () = |
let main () = |
| 16 |
let schema_doc = Schema_xml.pxp_tree_of schema_file in |
let schema_doc = Schema_xml.pxp_tree_of schema_file in |
| 43 |
print_endline (sprintf "Validation error on '%s': %s" Sys.argv.(i) msg); |
print_endline (sprintf "Validation error on '%s': %s" Sys.argv.(i) msg); |
| 44 |
flush stdout) |
flush stdout) |
| 45 |
done |
done |
|
;; |
|
| 46 |
|
|
| 47 |
main () ;; |
let _ = main () |
| 48 |
|
|
| 49 |
(* PROVE VARIE *) |
(* PROVE VARIE *) |
| 50 |
(* |
(* |