@if "%DEBUG%" == "" @echo off
@rem ##########################################################################
@rem
@rem  obp2-headless startup script for Windows
@rem
@rem ##########################################################################

@rem Set local scope for the variables with windows NT shell
if "%OS%"=="Windows_NT" setlocal

set DIRNAME=%~dp0
if "%DIRNAME%" == "" set DIRNAME=.
set APP_BASE_NAME=%~n0
set APP_HOME=%DIRNAME%..

@rem Add default JVM options here. You can also use JAVA_OPTS and OBP2_HEADLESS_OPTS to pass JVM options to this script.
set DEFAULT_JVM_OPTS="-XX:+ExitOnOutOfMemoryError"

@rem Find java.exe
if defined JAVA_HOME goto findJavaFromJavaHome

set JAVA_EXE=java.exe
%JAVA_EXE% -version >NUL 2>&1
if "%ERRORLEVEL%" == "0" goto init

echo.
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.

goto fail

:findJavaFromJavaHome
set JAVA_HOME=%JAVA_HOME:"=%
set JAVA_EXE=%JAVA_HOME%/bin/java.exe

if exist "%JAVA_EXE%" goto init

echo.
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
echo.
echo Please set the JAVA_HOME variable in your environment to match the
echo location of your Java installation.

goto fail

:init
@rem Get command-line arguments, handling Windows variants

if not "%OS%" == "Windows_NT" goto win9xME_args

:win9xME_args
@rem Slurp the command line arguments.
set CMD_LINE_ARGS=
set _SKIP=2

:win9xME_args_slurp
if "x%~1" == "x" goto execute

set CMD_LINE_ARGS=%*

:execute
@rem Setup the command line

set CLASSPATH=%APP_HOME%\lib\obp2-headless-1.0.0.jar;%APP_HOME%\lib\obp2-CLI-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-buchikripke-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-buchi-1.0.0.jar;%APP_HOME%\lib\LTL-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-remote-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-tlaplus-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-fiacre-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-lexplicit-1.0.0.jar;%APP_HOME%\lib\obp2-execution-1.0.0.jar;%APP_HOME%\lib\obp2-visualisation-1.0.0.jar;%APP_HOME%\lib\args4j-2.33.jar;%APP_HOME%\lib\BuchiAutomata-1.0.0.jar;%APP_HOME%\lib\LTL3BA-1.0.0.jar;%APP_HOME%\lib\LPropositionalLogic-1.0.0.jar;%APP_HOME%\lib\obp2-synchronization-1.0.0.jar;%APP_HOME%\lib\obp2-pastfreeze-1.0.0.jar;%APP_HOME%\lib\obp2-algorithms-1.0.0.jar;%APP_HOME%\lib\obp2-kernel-1.0.0.jar;%APP_HOME%\lib\obp2-bytearray-1.0.0.jar;%APP_HOME%\lib\obp2-runtime-1.0.0.jar;%APP_HOME%\lib\obp2-utils-1.0.0.jar;%APP_HOME%\lib\antlr4-4.5.3.jar;%APP_HOME%\lib\jackson-databind-2.12.0-rc2.jar;%APP_HOME%\lib\tla2tools-1.5.7.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\commons-lang3-3.8.1.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\announce4j-1.0.jar;%APP_HOME%\lib\jackson-annotations-2.12.0-rc2.jar;%APP_HOME%\lib\jackson-core-2.12.0-rc2.jar;%APP_HOME%\lib\javabdd-1.0b2.jar;%APP_HOME%\lib\obp2-hash-1.0.0.jar

@rem Execute obp2-headless
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %OBP2_HEADLESS_OPTS%  -classpath "%CLASSPATH%" obp2.cli.PlugCLI %CMD_LINE_ARGS%

:end
@rem End local scope for the variables with windows NT shell
if "%ERRORLEVEL%"=="0" goto mainEnd

:fail
rem Set variable OBP2_HEADLESS_EXIT_CONSOLE if you need the _script_ return code instead of
rem the _cmd.exe /c_ return code!
if  not "" == "%OBP2_HEADLESS_EXIT_CONSOLE%" exit 1
exit /b 1

:mainEnd
if "%OS%"=="Windows_NT" endlocal

:omega
