#!/bin/bash
if [ -n ${DISABLEAFID:-""} ]
then
javac $@
else
if [ -a ~/.AFID/FindSource ]
then 
if [ -z $OLDPATH ]
then
export OLDPATH=$PATH
export PATH=$PATH:~/.AFID/
if [ ! -e ~/research/Robust/.afidconfig ]
then
echo "project=Compiler" > ~/research/Robust/.afidconfig
echo "user=$USER" >> ~/research/Robust/.afidconfig
echo "text/visual=visual" >> ~/research/Robust/.afidconfig
echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
~/.AFID/SaveTestCase --create-exclude-file
fi
~/.AFID/FindSource javac $@
else
javac $@
fi
else
javac $@
fi
fi