From e8a6c92ba0cd89ceafe2504754276c587f895a9e Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Tue, 23 Nov 2004 13:39:24 +0000 Subject: [PATCH] * validation scripts --- helm/papers/use_case/stats/validating_time_flea.sh | 4 ++++ helm/papers/use_case/stats/validating_time_libxml2_tree.sh | 3 +++ helm/papers/use_case/stats/validating_time_xerces_sax2.sh | 5 +++++ helm/papers/use_case/stats/validating_time_xerces_tree.sh | 5 +++++ 4 files changed, 17 insertions(+) create mode 100755 helm/papers/use_case/stats/validating_time_flea.sh create mode 100755 helm/papers/use_case/stats/validating_time_libxml2_tree.sh create mode 100755 helm/papers/use_case/stats/validating_time_xerces_sax2.sh create mode 100755 helm/papers/use_case/stats/validating_time_xerces_tree.sh diff --git a/helm/papers/use_case/stats/validating_time_flea.sh b/helm/papers/use_case/stats/validating_time_flea.sh new file mode 100755 index 000000000..d1cd9d356 --- /dev/null +++ b/helm/papers/use_case/stats/validating_time_flea.sh @@ -0,0 +1,4 @@ +#!/bin/sh +zcat $1 >/tmp/a +TIME=`~lpadovan/Luca-CVS/Projects/flea/tests/cic /tmp/a` +echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME diff --git a/helm/papers/use_case/stats/validating_time_libxml2_tree.sh b/helm/papers/use_case/stats/validating_time_libxml2_tree.sh new file mode 100755 index 000000000..aa63eec3e --- /dev/null +++ b/helm/papers/use_case/stats/validating_time_libxml2_tree.sh @@ -0,0 +1,3 @@ +#!/bin/sh +TIME=`/usr/bin/xmllint --timing --valid --noout $1 2>&1 | fgrep "Parsing" | cut -d ' ' -f 3` +echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME diff --git a/helm/papers/use_case/stats/validating_time_xerces_sax2.sh b/helm/papers/use_case/stats/validating_time_xerces_sax2.sh new file mode 100755 index 000000000..caf0cc614 --- /dev/null +++ b/helm/papers/use_case/stats/validating_time_xerces_sax2.sh @@ -0,0 +1,5 @@ +#!/bin/sh +zcat $1 >/tmp/a +cp /projects/helm/xml/dtd/cic.dtd /tmp +TIME=`./parse/SAX2Print/SAX2Print -v=always /tmp/a` +echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME diff --git a/helm/papers/use_case/stats/validating_time_xerces_tree.sh b/helm/papers/use_case/stats/validating_time_xerces_tree.sh new file mode 100755 index 000000000..96b9475a0 --- /dev/null +++ b/helm/papers/use_case/stats/validating_time_xerces_tree.sh @@ -0,0 +1,5 @@ +#!/bin/sh +zcat $1 >/tmp/a +cp /projects/helm/xml/dtd/cic.dtd /tmp +TIME=`./parse/DOMCount/DOMCount -v=always /tmp/a` +echo `fgrep $1 $2 | cut -d ' ' -f 2,3`" "$TIME -- 2.39.2