#!/bin/bash

if [ "$1" == "" ]; then
    echo " ** usage: timing.sh <times> <extraArg>"
    exit 1;
fi

TIMES=$1
i=$TIMES
while [ $((i > 0)) == 1 ]; do
    ret=`java -cp /home/chadwick/workspace/DemeterF/ demeterf --dgp:Print:StaticTrav:StaticTravCtx:StaticTP:StaticTU demfgen.cd demfgen.beh classes/ --pcdgp:Getters --noparsecc $2 2>&1 | tail -n 1 | egrep -o '[0-9]*\.[0-9]+'`
    ret=`echo "$ret * 1000" | bc | egrep -o '^[0-9]+'`
    tot=$((tot+ret));
    #echo $ret "::" $tot
    i=$((i-1))
done

echo $((tot/TIMES)) "ms "