update scripts. using inference-dev as launcher, using gradle system in integrationSetup.sh

Author: CharlesZ-Chen

integrationSetup.sh

@@ -26,5 +26,6 @@ ln -s $MYDIR/testing/dataflow $MYDIR/../checker-framework-inference/testdata
 
 ln -s $MYDIR/testing/dataflowexample $MYDIR/..
 
-bash $MYDIR/scripts/compile.sh
+gradle -b $MYDIR/build.gradle clean build
+
 gradle -b $MYDIR/../checker-framework-inference/build.gradle dist

scripts/dataflow/inference-MAXSAT-parallel.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:. checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*

scripts/dataflow/inference-MAXSAT-sequence.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:. checkers.inference.InferenceLauncher --solverArgs="solveInParallel=false" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="solveInParallel=false" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*

scripts/dataflow/inference-classic.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:. checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --solver dataflow.solvers.classic.DataflowSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --solver dataflow.solvers.classic.DataflowSolver --mode INFER --hacks=true $*

scripts/dataflow/inference-debug.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:.  checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --solver checkers.inference.solver.DebugSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --solver checkers.inference.solver.DebugSolver --mode INFER --hacks=true $*

scripts/dataflow/inference-lingeling.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:. checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.Lingeling,solveInParallel=false" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.Lingeling,solveInParallel=false" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*

scripts/dataflow/inference-logiQL.sh

@@ -5,5 +5,8 @@ export MYDIR=`dirname $0`/..
 export ROOT=$MYDIR/../..
 export LOGICDATA=./logiqldata
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:. checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL" --checker dataflow.DataflowChecker --solver dataflow.solvers.backend.DataflowConstraintSolver --mode INFER --hacks=true $*
 rm -r $LOGICDATA

scripts/dataflow/typecheck.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin:.  checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --mode TYPECHECK --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin:.
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --checker dataflow.DataflowChecker --mode TYPECHECK --hacks=true $*

scripts/ostrusted/inference-MAXSAT-nograph.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat,useGraph=false,solveInParallel=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat,useGraph=false,solveInParallel=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*

scripts/ostrusted/inference-MAXSAT-sequence-graph.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat,solveInParallel=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=maxsatbackend.MaxSat,solveInParallel=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*

scripts/ostrusted/inference-debug.sh

@@ -4,4 +4,7 @@ export MYDIR=`dirname $0`/..
 . $MYDIR/setup.sh
 export ROOT=$MYDIR/../..
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin  checkers.inference.InferenceLauncher --checker ostrusted.OsTrustedChecker --solver checkers.inference.solver.DebugSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --checker ostrusted.OsTrustedChecker --solver checkers.inference.solver.DebugSolver --mode INFER --hacks=true $*

scripts/ostrusted/inference-logiQL-graph.sh

@@ -5,5 +5,8 @@ export MYDIR=`dirname $0`/..
 export ROOT=$MYDIR/../..
 export LOGICDATA=./logiqldata
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
 rm -r $LOGICDATA

scripts/ostrusted/inference-logiQL-nograph.sh

@@ -5,5 +5,8 @@ export MYDIR=`dirname $0`/..
 export ROOT=$MYDIR/../..
 export LOGICDATA=./logiqldata
 distDir=$CHINF"/dist"
-java -classpath "$distDir"/checker.jar:"$distDir"/plume.jar:"$distDir"/checker-framework-inference.jar:$ROOT/generic-type-inference-solver/bin checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL,useGraph=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
+
+export CLASSPATH=$ROOT/generic-type-inference-solver/bin
+
+$ROOT/checker-framework-inference/scripts/inference-dev checkers.inference.InferenceLauncher --solverArgs="backEndType=logiqlbackend.LogiQL,useGraph=false" --checker ostrusted.OsTrustedChecker --solver constraintsolver.ConstraintSolver --mode INFER --hacks=true $*
 rm -r $LOGICDATA