X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fstats.cc;h=f2b128faf89540d53d93ac115f6161923c53a6e6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=a7016f0ee83cdc44454ac42d5f4b402cf9d52399;hpb=29438dd0104563dac413ccdedeba979e8b50706c;p=helm.git

diff --git a/helm/papers/use_case/stats/stats.cc b/helm/papers/use_case/stats/stats.cc
index a7016f0ee..f2b128faf 100644
--- a/helm/papers/use_case/stats/stats.cc
+++ b/helm/papers/use_case/stats/stats.cc
@@ -22,7 +22,7 @@ bool
 is_blank(const std::string& s)
 {
   for (int i = 0; i < s.length(); i++)
-    if (!isblank(s[i])) return false;
+    if (!isspace(s[i])) return false;
   return true;
 }
 
@@ -75,7 +75,7 @@ visit(DOM::Node node, int depth)
 }
 
 void
-print_results(const std::string& URI)
+print_results(const std::string& URI, long size)
 {
   int n_depths = 0;
   int tot_depth = 0;
@@ -92,6 +92,7 @@ print_results(const std::string& URI)
     tot_width += *p;
 
   std::cout << "<stats for=\"" << URI << "\">" << std::endl;
+  std::cout << "  <size>" << size << "</size>" << std::endl;
   std::cout << "  <depth>" << std::endl;
   std::cout << "    <max>" << max_depth << "</max>" << std::endl;
   std::cout << "    <leaf-avg>" << tot_depth / ((double) n_depths) << "</leaf-avg>" << std::endl;
@@ -118,13 +119,13 @@ print_results(const std::string& URI)
 int
 main(int argc, char* argv[])
 {
-  if (argc != 2) {
-    std::cerr << "Usage: stats <URI>" << std::endl;
+  if (argc != 3) {
+    std::cerr << "Usage: stats <URI> <size>" << std::endl;
     return -1;
   }
 
   DOM::DOMImplementation di;
   DOM::Document doc = di.createDocumentFromURI(argv[1]);
   visit(doc, 0);
-  print_results(argv[1]);
+  print_results(argv[1], atoi(argv[2]));
 }