From: Stefano Zacchiroli Date: Mon, 6 Jan 2003 18:34:57 +0000 (+0000) Subject: added 'test' dir with a serialization/deserialization test for messages X-Git-Tag: v0_3_99~86 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bf917b35e5ce1a71b5b8923800fb8eaba1b3943;p=helm.git added 'test' dir with a serialization/deserialization test for messages --- diff --git a/helm/hbugs/test/.cvsignore b/helm/hbugs/test/.cvsignore new file mode 100644 index 000000000..d9ed0701b --- /dev/null +++ b/helm/hbugs/test/.cvsignore @@ -0,0 +1,7 @@ +*.cmi +*.cmo +*.cma +*.cmx +*.o +*.a +test_serialization diff --git a/helm/hbugs/test/HBUGS_MESSAGES.xml b/helm/hbugs/test/HBUGS_MESSAGES.xml new file mode 100644 index 000000000..f6ee8362b --- /dev/null +++ b/helm/hbugs/test/HBUGS_MESSAGES.xml @@ -0,0 +1,102 @@ + + + + + +usage string + +corpo dell'exc + + + + + + + + + + + + + + + + + + + + + + + + + + + + descrizione del tutor + + + + + + + + + + + + + extras + + + + + + + + + + description 1 + description 2 + + description N + + + + description 1 + description 2 + + description N + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/hbugs/test/Makefile b/helm/hbugs/test/Makefile new file mode 100644 index 000000000..9bd02bfa3 --- /dev/null +++ b/helm/hbugs/test/Makefile @@ -0,0 +1,4 @@ +all: + OCAMLPATH="../meta" ocamlfind ocamlc -linkpkg -package hbugs-common -o test_serialization test_serialization.ml +clean: + rm -f *.cm[io] test_serialization diff --git a/helm/hbugs/test/messages_raw.xml b/helm/hbugs/test/messages_raw.xml new file mode 100644 index 000000000..98a956cd1 --- /dev/null +++ b/helm/hbugs/test/messages_raw.xml @@ -0,0 +1,25 @@ + +usage string +corpo dell'exc + + + + + + descrizione del tutor + + + + + extras + + + description 1 description 2 description N + description 1 description 2 description N + + + + + + + diff --git a/helm/hbugs/test/test_serialization.ml b/helm/hbugs/test/test_serialization.ml new file mode 100644 index 000000000..bc78e1cd0 --- /dev/null +++ b/helm/hbugs/test/test_serialization.ml @@ -0,0 +1,48 @@ +(* + * Copyright (C) 2003, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://cs.unibo.it/helm/. + *) + +(* test serialization/deserialization of Hbugs_messages module. File given as +cmd line argument is read line by line, each line is expected to contain a +Hbugs_types.message that is parsed, pretty printed and parsed again to check for +serialization consistency *) +open Printf;; +let fname = Sys.argv.(1) in +let ic = open_in fname in +let lineno = ref 1 in +try + while true do + let line = input_line ic in + let msg = Hbugs_messages.msg_of_string line in + let pp = Hbugs_messages.string_of_msg msg in + let msg' = Hbugs_messages.msg_of_string pp in + assert (msg = msg'); + incr lineno + done +with +| End_of_file -> prerr_endline "All done!" +| exc -> + prerr_endline + (sprintf "Failure at line %d: %s" !lineno (Printexc.to_string exc))