X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fparse%2Fparse_xmlreader.c;fp=helm%2Fpapers%2Fuse_case%2Fstats%2Fparse%2Fparse_xmlreader.c;h=e154b709c24021e5c7734f36f0663ffd9d51b24b;hb=339504cd07bef1767536d6817953ba084e00855d;hp=0000000000000000000000000000000000000000;hpb=2b28b6c28c01a087753f0c8c65e0fac41e2cd0ad;p=helm.git

diff --git a/helm/papers/use_case/stats/parse/parse_xmlreader.c b/helm/papers/use_case/stats/parse/parse_xmlreader.c
new file mode 100644
index 000000000..e154b709c
--- /dev/null
+++ b/helm/papers/use_case/stats/parse/parse_xmlreader.c
@@ -0,0 +1,31 @@
+#include <stdio.h>
+#include <sys/time.h>
+#include <libxml/xmlreader.h>
+
+int
+main(int argc, char *argv[])
+{
+	struct timeval timing1, timing2;
+	xmlTextReaderPtr reader;
+	int ret;
+	reader = xmlReaderForFd(0, NULL, NULL, 0);
+	if (reader == NULL) {
+		fprintf(stderr, "Can't instantiate parser\n");
+		return 1;
+	}
+	gettimeofday(&timing1, NULL);
+	ret = xmlTextReaderRead(reader);
+	while (ret == 1) {
+		ret = xmlTextReaderRead(reader);
+	}
+	gettimeofday(&timing2, NULL);
+	xmlFreeTextReader(reader);
+	if (ret != 0) {
+		fprintf(stderr, "failed to parse STDIN\n");
+	}
+	fprintf(stdout, "%d\n",
+			((timing2.tv_sec * 1000000 + timing2.tv_usec) -
+			 (timing1.tv_sec * 1000000 + timing1.tv_usec)) / 1000);
+	return 0;
+}
+