From 6aa9cf9f731d483cc0f839092de44ac4226aba33 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 8 Dec 2008 23:42:04 +0000
Subject: [PATCH] make afid work easily

---
 Robust/src/buildscript |  6 +++---
 Robust/src/ourjava     | 23 +++++++++++++++++++++++
 Robust/src/ourjavac    | 23 +++++++++++++++++++++++
 3 files changed, 49 insertions(+), 3 deletions(-)
 create mode 100755 Robust/src/ourjava
 create mode 100755 Robust/src/ourjavac

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c5b34f54..cca26bec 100755
--- 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
index 00000000..cf9ff1f3
--- /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
index 00000000..dd823eca
--- /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
-- 
2.34.1