run-dljc.sh

#!/bin/bash

set -e

WORKING_DIR=$(pwd)
JSR308=$(cd $(dirname "$0")/.. && pwd)

CFI=$JSR308/checker-framework-inference
UI=$JSR308/cast-checker
UIPATH=$UI/build/classes/java/main:$UI/build/resources/main:$UI/build/libs/cast-checker.jar

export AFU=$JSR308/annotation-tools/annotation-file-utilities
export PATH=$AFU/scripts:$PATH
export CLASSPATH=$UIPATH
export external_checker_classpath=$UIPATH

CFI_LIB=$CFI/lib
export DYLD_LIBRARY_PATH=$CFI_LIB
export LD_LIBRARY_PATH=$CFI_LIB

CHECKER=cast.CastChecker
SOLVER=units.solvers.backend.UnitsSolverEngine
# DEBUG_SOLVER=checkers.inference.solver.DebugSolver
SOLVERARGS="solver=Z3smt,collectStatistics=true,writeSolutions=true,noAppend=true"
CFARGS="-AignoreRangeOverflow"

DLJC=$JSR308/do-like-javac

# Parsing build command of the target program
build_cmd="$1"
shift
while [ "$#" -gt 0 ]
do
    build_cmd="$build_cmd $1"
    shift
done

# DLJC Inference
cd "$WORKING_DIR"

typecheck_cmd="python2 $DLJC/dljc -t checker --checker $CHECKER --cfArgs=$CFARGS -- $build_cmd"

cfi_typecheck_cmd="python2 $DLJC/dljc -t inference --guess --crashExit \
--checker $CHECKER --solver $SOLVER --solverArgs=$SOLVERARGS \
--cfArgs=$CFARGS \
-o logs -m TYPECHECK -afud $WORKING_DIR/annotated -- $build_cmd "

running_cmd=$cfi_typecheck_cmd

echo "============ Important variables ============="
echo "JSR308: $JSR308"
echo "CLASSPATH: $CLASSPATH"
echo "build cmd: $build_cmd"
echo "running cmd: $running_cmd"
echo "============================================="

eval "$running_cmd"

echo "---- Reminder: do not forget to clean up the project! ----"