make afid work easily

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c5b34f546e645f464c2c17698f6d76156d2806df..cca26bec890eabce32e46a99fa2e4757f2b80b1e 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -251,16 +251,16 @@ fi
 
 if $MULTICOREFLAG
 then
-if ! java -Xms50m -Xmx800m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! ourjava -Xms50m -Xmx800m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR \
 $JAVAOPTS $SRCFILES
 then exit $?
 fi
 else
-#if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+#if ! ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 if ! $NOJAVA
 then
-if ! java -Xms50m -Xmx600m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! ourjava -Xms50m -Xmx600m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
new file mode 100755 (executable)
index 0000000..cf9ff1f
--- /dev/null
+++ b/Robust/src/ourjava
@@ -0,0 +1,23 @@
+
+#!/bin/bash
+if [ -a ~/.AFID/SaveTestCase ]
+then 
+if [ -z $OLDPATH ]
+then
+export OLDPATH=$PATH
+export PATH=$PATH:~/.AFID/
+if [ ! -a ~/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/SaveTestCase java $@
+else
+java $@
+fi
+else
+java $@
+fi

diff --git a/Robust/src/ourjavac b/Robust/src/ourjavac
new file mode 100755 (executable)
index 0000000..dd823ec
--- /dev/null
+++ b/Robust/src/ourjavac
@@ -0,0 +1,23 @@
+
+#!/bin/bash
+if [ -a ~/.AFID/FindSource ]
+then 
+if [ -z $OLDPATH ]
+then
+export OLDPATH=$PATH
+export PATH=$PATH:~/.AFID/
+if [ ! -a ~/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