# shell script to start arbitrary classes through a JPFClassLoader

JPF_CORE=`dirname "$0"`/../../jpf-core
#JPF_CONCURRENT=`dirname "$0"`/../../jpf-concurrent
JPF_JRF=`dirname "$0"`/../../jpf-jrf

#JPF_NET=`dirname "$0"`/../../jpf-net-iocache
#JPF_NET_CLASS=$JPF_NET/build/jpf-net-iocache-classes.jar,$JPF_NET/build/jpf-net-iocache-examples.jar,$JPF_NET/build/jpf-net-iocache.jar

#SPRING_HOME=`dirname "$0"`/../../spring-framework
#SPRING_CORE=$SPRING_HOME/org.springframework.core
#SPRING_CLASS=$SPRING_CORE/target/classes,$SPRING_CORE/target/test-classes
#SPRING_SOURCE=$SPRING_CORE/src/main,$SPRING_CORE/src/test

#ZOOKEEPER=`dirname "$0"`/../../zookeeper
#ZOOKEEPER_CLASS=$ZOOKEEPER/build/classes,$ZOOKEEPER/src/java/lib/jline-0.9.94.jar,$ZOOKEEPER/src/java/lib/log4j-1.2.15.jar,$ZOOKEEPER/src/java/lib/xerces-1.4.4.jar,$ZOOKEEPER/src/java/lib/jdiff-1.0.9.jar
#ZOOKEEPER_SOURCE=$ZOOKEEPER/src/java/main,$ZOOKEEPER/src/java/test,$ZOOKEEPER/src/java/systest,$ZOOKEEPER/src/java/generated,$ZOOKEEPER/src/java/lib/jline-0.9.94.jar,$ZOOKEEPER/src/java/lib/log4j-1.2.15.jar,$ZOOKEEPER/src/java/lib/xerces-1.4.4.jar,$ZOOKEEPER/src/java/lib/jdiff-1.0.9.jar

JPF_CLASS_PATH=$JPF_CORE/build/examples
#JPF_CLASS_PATH+=,$JPF_JRF/build/examples
#JPF_CLASS_PATH+=,$SPRING_CORE/build/main,$SPRING_CORE/build/test
#JPF_CLASS_PATH+=,$ZOOKEEPER_CLASS

JPF_SOURCE_PATH=$JPF_CORE/src/examples
JPF_SOURCE_PATH+=,$JPF_JRF/src/examples
#JPF_SOURCE_PATH+=,$SPRING_CORE/src/main,$SPRING_CORE/src/test
#JPF_SOURCE_PATH+=,$ZOOKEEPER_SOURCE

if test -z "$JVM_FLAGS"; then
  JVM_FLAGS="-Xmx1024m -ea"
fi


##
# To direct call to target 
##
#echo java $JVM_FLAGS -classpath .:$CP -jar $JPF_CONCURRENT/build/RunJPF.jar  +target="$@" +classpath=$JPF_CLASS_PATH +sourcepath=$JPF_SOURCE_PATH `dirname "$0"`/../jrf_heuristic.jpf
#java $JVM_FLAGS -classpath .:$CP -jar $JPF_CONCURRENT/build/RunJPF.jar  +target="$@" +classpath=$JPF_CLASS_PATH +sourcepath=$JPF_SOURCE_PATH `dirname "$0"`/../jrf_heuristic.jpf > result/"$@".HEURISTIC.txt

echo java $JVM_FLAGS -classpath .:$CP -jar $JPF_CORE/build/RunJPF.jar  +target="$@" +classpath=$JPF_CLASS_PATH +sourcepath=$JPF_SOURCE_PATH `dirname "$0"`/../jrf_heuristic.jpf
java $JVM_FLAGS -classpath .:$CP -jar $JPF_CORE/build/RunJPF.jar  +target="$@" +classpath=$JPF_CLASS_PATH +sourcepath=$JPF_SOURCE_PATH `dirname "$0"`/../jrf_heuristic.jpf > result/"$@".HEURISTIC.txt

