#!/usr/bin/env sh

##############################################################################
##
##  obp2-headless start up script for UN*X
##
##############################################################################

# Attempt to set APP_HOME
# Resolve links: $0 may be a link
PRG="$0"
# Need this for relative symlinks.
while [ -h "$PRG" ] ; do
    ls=`ls -ld "$PRG"`
    link=`expr "$ls" : '.*-> \(.*\)$'`
    if expr "$link" : '/.*' > /dev/null; then
        PRG="$link"
    else
        PRG=`dirname "$PRG"`"/$link"
    fi
done
SAVED="`pwd`"
cd "`dirname \"$PRG\"`/.." >/dev/null
APP_HOME="`pwd -P`"
cd "$SAVED" >/dev/null

APP_NAME="obp2-headless"
APP_BASE_NAME=`basename "$0"`

# Add default JVM options here. You can also use JAVA_OPTS and OBP2_HEADLESS_OPTS to pass JVM options to this script.
DEFAULT_JVM_OPTS=""

# Use the maximum available, or set MAX_FD != -1 to use that value.
MAX_FD="maximum"

warn () {
    echo "$*"
}

die () {
    echo
    echo "$*"
    echo
    exit 1
}

# OS specific support (must be 'true' or 'false').
cygwin=false
msys=false
darwin=false
nonstop=false
case "`uname`" in
  CYGWIN* )
    cygwin=true
    ;;
  Darwin* )
    darwin=true
    ;;
  MINGW* )
    msys=true
    ;;
  NONSTOP* )
    nonstop=true
    ;;
esac

CLASSPATH=$APP_HOME/lib/obp2-daily-19.jar:$APP_HOME/lib/plug-GUI-0.0.7.jar:$APP_HOME/lib/plug-CLI-0.0.7.jar:$APP_HOME/lib/plug-ui-common-0.0.7.jar:$APP_HOME/lib/plug-runtime-buchikripke-0.0.7.jar:$APP_HOME/lib/plug-runtime-buchi-0.0.7.jar:$APP_HOME/lib/LTL-0.0.7.jar:$APP_HOME/lib/plug-runtime-lexplicit-0.0.7.jar:$APP_HOME/lib/runtime-fiacre-0.0.7.jar:$APP_HOME/lib/runtime-postmortem-obp-0.0.7.jar:$APP_HOME/lib/plug-runtime-lspinja-0.0.7.jar:$APP_HOME/lib/plug-runtime-composite-0.0.7.jar:$APP_HOME/lib/plug-runtime-ltuml-0.0.7.jar:$APP_HOME/lib/plug-runtime-remote-0.0.7.jar:$APP_HOME/lib/plug-runtime-ltla-0.0.7.jar:$APP_HOME/lib/plug-synchronization-0.0.7.jar:$APP_HOME/lib/plug-pastfreeze-0.0.7.jar:$APP_HOME/lib/plug-core-0.0.7.jar:$APP_HOME/lib/announce4j-master.jar:$APP_HOME/lib/plug-utils-fx-0.0.7.jar:$APP_HOME/lib/BuchiAutomata-0.0.7.jar:$APP_HOME/lib/LPropositionalLogic-0.0.7.jar:$APP_HOME/lib/ikonli-javafx-2.1.1.jar:$APP_HOME/lib/ikonli-material-pack-2.1.1.jar:$APP_HOME/lib/ikonli-typicons-pack-2.1.1.jar:$APP_HOME/lib/richtextfx-0.9.0.jar:$APP_HOME/lib/flowless-0.6.1.jar:$APP_HOME/lib/controlsfx-8.40.14.jar:$APP_HOME/lib/args4j-2.33.jar:$APP_HOME/lib/LTL3BA-0.0.7.jar:$APP_HOME/lib/plug-utils-0.0.7.jar:$APP_HOME/lib/antlr4-4.5.3.jar:$APP_HOME/lib/jackson-databind-2.7.2.jar:$APP_HOME/lib/antlr4-runtime-4.5.jar:$APP_HOME/lib/ecj-4.4.1.jar:$APP_HOME/lib/luaj-jse-3.0.1.jar:$APP_HOME/lib/OBP-1.5.1-light.jar:$APP_HOME/lib/basics-2.0.jar:$APP_HOME/lib/beaver-rt-0.9.11.jar:$APP_HOME/lib/java-cup-0.11a.jar:$APP_HOME/lib/spinja-0.9.2.jar:$APP_HOME/lib/tuml-interpreter-0.0.2.jar:$APP_HOME/lib/org.eclipse.emf.common-2.11.0-v20150123-0347.jar:$APP_HOME/lib/org.eclipse.emf.ecore-2.11.0-v20150123-0347.jar:$APP_HOME/lib/org.eclipse.emf.ecore.xmi-2.11.0-v20150123-0347.jar:$APP_HOME/lib/org.eclipse.emf.edit-2.11.0-v20150123-0357.jar:$APP_HOME/lib/org.eclipse.uml2.common-2.0.1.v20150202-0947.jar:$APP_HOME/lib/org.eclipse.uml2.types-2.0.0.v20150202-0947.jar:$APP_HOME/lib/org.eclipse.uml2.uml-5.0.2.v20150202-0947.jar:$APP_HOME/lib/org.eclipse.uml2.uml.profile.standard-1.0.0.v20150202-0947.jar:$APP_HOME/lib/org.eclipse.uml2.uml.resources-5.0.2.v20150202-0947.jar:$APP_HOME/lib/org.eclipse.xtend.standalone-2.4.3.jar:$APP_HOME/lib/tla2tools-1.5.7.jar:$APP_HOME/lib/commons-lang3-3.8.1.jar:$APP_HOME/lib/ikonli-core-2.1.1.jar:$APP_HOME/lib/undofx-2.0.0.jar:$APP_HOME/lib/reactfx-2.0-M5.jar:$APP_HOME/lib/wellbehavedfx-0.3.3.jar:$APP_HOME/lib/jackson-annotations-2.7.0.jar:$APP_HOME/lib/jackson-core-2.7.2.jar:$APP_HOME/lib/javabdd-1.0b2.jar:$APP_HOME/lib/org.abego.treelayout.core-1.0.1.jar:$APP_HOME/lib/org.eclipse.xtend.lib-2.9.0.jar:$APP_HOME/lib/org.eclipse.xtend.lib.macro-2.9.0.jar:$APP_HOME/lib/org.eclipse.xtext.xbase.lib-2.9.0.jar:$APP_HOME/lib/guava-14.0.1.jar:$APP_HOME/lib/guice-3.0.jar:$APP_HOME/lib/log4j-1.2.15.jar:$APP_HOME/lib/org.eclipse.emf.mapping.ecore2xml-2.8.0-v20150123-0452.jar:$APP_HOME/lib/java-petitparser-2.0.0.jar:$APP_HOME/lib/javax.inject-1.jar:$APP_HOME/lib/aopalliance-1.0.jar:$APP_HOME/lib/cglib-2.2.1-v20090111.jar:$APP_HOME/lib/petitparser-json-2.0.0.jar:$APP_HOME/lib/petitparser-smalltalk-2.0.0.jar:$APP_HOME/lib/petitparser-xml-2.0.0.jar:$APP_HOME/lib/petitparser-core-2.0.0.jar:$APP_HOME/lib/asm-3.1.jar

# Determine the Java command to use to start the JVM.
if [ -n "$JAVA_HOME" ] ; then
    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
        # IBM's JDK on AIX uses strange locations for the executables
        JAVACMD="$JAVA_HOME/jre/sh/java"
    else
        JAVACMD="$JAVA_HOME/bin/java"
    fi
    if [ ! -x "$JAVACMD" ] ; then
        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME

Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
    fi
else
    JAVACMD="java"
    which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.

Please set the JAVA_HOME variable in your environment to match the
location of your Java installation."
fi

# Increase the maximum file descriptors if we can.
if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
    MAX_FD_LIMIT=`ulimit -H -n`
    if [ $? -eq 0 ] ; then
        if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
            MAX_FD="$MAX_FD_LIMIT"
        fi
        ulimit -n $MAX_FD
        if [ $? -ne 0 ] ; then
            warn "Could not set maximum file descriptor limit: $MAX_FD"
        fi
    else
        warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
    fi
fi

# For Darwin, add options to specify how the application appears in the dock
if $darwin; then
    GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
fi

# For Cygwin, switch paths to Windows format before running java
if $cygwin ; then
    APP_HOME=`cygpath --path --mixed "$APP_HOME"`
    CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
    JAVACMD=`cygpath --unix "$JAVACMD"`

    # We build the pattern for arguments to be converted via cygpath
    ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
    SEP=""
    for dir in $ROOTDIRSRAW ; do
        ROOTDIRS="$ROOTDIRS$SEP$dir"
        SEP="|"
    done
    OURCYGPATTERN="(^($ROOTDIRS))"
    # Add a user-defined pattern to the cygpath arguments
    if [ "$GRADLE_CYGPATTERN" != "" ] ; then
        OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
    fi
    # Now convert the arguments - kludge to limit ourselves to /bin/sh
    i=0
    for arg in "$@" ; do
        CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
        CHECK2=`echo "$arg"|egrep -c "^-"`                                 ### Determine if an option

        if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then                    ### Added a condition
            eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
        else
            eval `echo args$i`="\"$arg\""
        fi
        i=$((i+1))
    done
    case $i in
        (0) set -- ;;
        (1) set -- "$args0" ;;
        (2) set -- "$args0" "$args1" ;;
        (3) set -- "$args0" "$args1" "$args2" ;;
        (4) set -- "$args0" "$args1" "$args2" "$args3" ;;
        (5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
        (6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
        (7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
        (8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
        (9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
    esac
fi

# Escape application args
save () {
    for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
    echo " "
}
APP_ARGS=$(save "$@")

# Collect all arguments for the java command, following the shell quoting and substitution rules
eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $OBP2_HEADLESS_OPTS -classpath "\"$CLASSPATH\"" plug.cli.PlugCLI "$APP_ARGS"

# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
  cd "$(dirname "$0")"
fi

exec "$JAVACMD" "$@"
