#! /bin/sh #------------------------------------------------------------------------------------ # Copyright Lom M. Hillah - Date: April 25, 2010 - Version: 0.3 # License: GNU GPL v3. See http://www.gnu.org/licenses/ # # Invocation: ./validatePNMDocument.sh pnmlFile1 [pnmlFile2 pnmlFile3 ...] # # This script uses xmllint to validate your PNML Documents. It also uses perl. # I thus assume you already have libxml2 (and perl) installed on your machine. # I also assume you have Internet connectivity, because the PNML grammars are # fetched over the Internet from http://www.pnml.org # The validation results are output in $HOME/pnmlValidation/pnmlValidationReport.html #------------------------------------------------------------------------------------ RESULTDIR=$HOME/pnmlValidation REPORTFILE=$RESULTDIR/pnmlValidationReport.html TITLE="PNML Document(s) validation report" [ $# -eq 0 ] && echo "Usage: $0 pnmlFile1 [pnmlFile2 pnmlFile3 ...]" && exit 1 # Create folder in user $HOME to contain report file mkdir -p $RESULTDIR # Prepare report file echo "" > $REPORTFILE echo " $TITLE

$TITLE

Session of `date`

 

" >> $REPORTFILE for f in "$@" do echo "Validating $f..." # Extracts the URL of the grammar GRUL=`grep "type=" $f | awk -F "=\"" '{print $3}' | sed -e "s/\">/.pntd/g"` BASENAME=`basename $f` echo "

Validation result for $BASENAME

" >> $REPORTFILE xmllint $f --noout --relaxng $GRUL 2>&1 |\ perl -pe 's|^((?:]+>)*)(.*?):(\d+):(.*error.*)|$1 on line $3 : $4
|' |\ xargs echo >> $REPORTFILE echo "

" >> $REPORTFILE done echo " " >> $REPORTFILE echo "The validation report is available in $REPORTFILE"