]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/use_case/stats/parse/parse_xmlreader.c
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / parse / parse_xmlreader.c
1 #include <stdio.h>
2 #include <sys/time.h>
3 #include <libxml/xmlreader.h>
4
5 int
6 main(int argc, char *argv[])
7 {
8         struct timeval timing1, timing2;
9         xmlTextReaderPtr reader;
10         int ret;
11         reader = xmlReaderForFd(0, NULL, NULL, 0);
12         if (reader == NULL) {
13                 fprintf(stderr, "Can't instantiate parser\n");
14                 return 1;
15         }
16         gettimeofday(&timing1, NULL);
17         ret = xmlTextReaderRead(reader);
18         while (ret == 1) {
19                 ret = xmlTextReaderRead(reader);
20         }
21         gettimeofday(&timing2, NULL);
22         xmlFreeTextReader(reader);
23         if (ret != 0) {
24                 fprintf(stderr, "failed to parse STDIN\n");
25         }
26         fprintf(stdout, "%d\n",
27                         ((timing2.tv_sec * 1000000 + timing2.tv_usec) -
28                          (timing1.tv_sec * 1000000 + timing1.tv_usec)) / 1000);
29         return 0;
30 }
31