bin/inspect_diff.bat

   1 @echo off
   2
   3 ::----------------------------------------------------------------------
   4 :: IntelliJ IDEA Startup Script
   5 ::----------------------------------------------------------------------
   6
   7 :: ---------------------------------------------------------------------
   8 :: Before you run IntelliJ IDEA specify the location of the
   9 :: JDK 1.5 installation directory which will be used for running IDEA
  10 :: ---------------------------------------------------------------------
  11
  12 IF "%IDEA_JDK%" == "" SET IDEA_JDK=%JDK_HOME%
  13 IF "%IDEA_JDK%" == "" goto error
  14
  15 :: ---------------------------------------------------------------------
  16 :: Before you run IntelliJ IDEA specify the location of the
  17 :: directory where IntelliJ IDEA is installed
  18 :: In most cases you do not need to change the settings below.
  19 :: ---------------------------------------------------------------------
  20 SET IDEA_HOME=..
  21
  22 SET JAVA_EXE=%IDEA_JDK%\jre\bin\java.exe
  23 IF NOT EXIST "%JAVA_EXE%" goto error
  24
  25 IF "%IDEA_INSPECT_DIFF_CLASS_NAME%" == "" SET IDEA_INSPECT_DIFF_CLASS_NAME=com.intellij.codeInspection.InspectionDiff
  26
  27 IF NOT "%IDEA_PROPERTIES%" == "" set IDEA_PROPERTIES_PROPERTY=-Didea.properties.file=%IDEA_PROPERTIES%
  28
  29 :: ---------------------------------------------------------------------
  30 :: You may specify your own JVM arguments in idea.exe.vmoptions file. Put one option per line there.
  31 :: ---------------------------------------------------------------------
  32 SET ACC=
  33 FOR /F "delims=" %%i in (%IDEA_HOME%\bin\idea.exe.vmoptions) DO call %IDEA_HOME%\bin\append.bat "%%i"
  34
  35 set REQUIRED_IDEA_JVM_ARGS=-Xbootclasspath/a:%IDEA_HOME%/lib/boot.jar %IDEA_PROPERTIES_PROPERTY% %REQUIRED_IDEA_JVM_ARGS%
  36 SET JVM_ARGS=%ACC% %REQUIRED_IDEA_JVM_ARGS%
  37
  38 SET OLD_PATH=%PATH%
  39 SET PATH=%IDEA_HOME%\bin;%PATH%
  40
  41 SET CLASS_PATH=%IDEA_HOME%\lib\bootstrap.jar
  42 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\idea.jar
  43 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\resources_en.jar
  44 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\openapi.jar
  45 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\util.jar
  46 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\jdom.jar
  47 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\log4j.jar
  48 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\extensions.jar
  49 SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\trove4j.jar
  50 SET CLASS_PATH=%CLASS_PATH%;%IDEA_JDK%\lib\tools.jar
  51
  52 :: ---------------------------------------------------------------------
  53 :: You may specify additional class paths in IDEA_CLASS_PATH variable.
  54 :: It is a good idea to specify paths to your plugins in this variable.
  55 :: ---------------------------------------------------------------------
  56 IF NOT "%IDEA_CLASS_PATH%" == "" SET CLASS_PATH=%CLASS_PATH%;%IDEA_CLASS_PATH%
  57
  58 "%JAVA_EXE%" %JVM_ARGS% -cp "%CLASS_PATH%" %IDEA_INSPECT_DIFF_CLASS_NAME% %*
  59
  60 SET PATH=%OLD_PATH%
  61 goto end
  62 :error
  63 echo ---------------------------------------------------------------------
  64 echo ERROR: cannot start IntelliJ IDEA.
  65 echo No JDK found to run IDEA. Please validate either IDEA_JDK or JDK_HOME points to valid JDK installation
  66 echo ---------------------------------------------------------------------
  67 pause
  68
  69 :end